CSIC

Usted está aquí

Home > Personal > Jordi Levy

Jordi Levy

Departamento de Razonamiento y Lógica
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
Web: 
http://www.iiia.csic.es/~levy
Position: 
Scientific Staff
63 Publications
2009
Jordi Levy, Mateu Villaret; Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing; 2009.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09; 2009.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09; 2009.
Download PDF
2008
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08; 2008.
Download PDF
Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08; 2008.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy; Random SAT Instances à la Carte. Proc. of the 11th Int. Conf. of the ACIA, CCIA'08; 2008.
Download PDF
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing; 2008.
Download PDF
2007
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07; 2007.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07; 2007.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07; 2007.
Download PDF
María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution for Max-SAT. Artificial Intelligence; 2007.
Download PDF
Temur Kutsia, Jordi Levy, Mateu Villaret; Sequence Unification Through Currying. Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07; 2007.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; The Logic Behind Weighted CSP. Future and Trends in Constraint Programming; 2007.
Download PDF
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07; 2007.
Download PDF
2006
María Luisa Bonet, Jordi Levy, Felip Manyà; A Complete Calculus for Max-SAT. Lecture Notes in Computer Science; 2006.
Download PDF
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science; 2006.
Download PDF
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Stratified Context Unification is NP-complete. Lecture Notes in Computer Science; 2006.
Download PDF
2005
Jordi Levy, Joachim Niehren, Mateu Villaret; Well-Nested Context Unification. Lecture Notes in Artificial Intelligence; 2005.
Download PDF
2004
Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Monadic Second-Order Unifications is NP Complete. Lecture Notes in Computer Science; 2004.
Download PDF
2003
Albert Atserias, María Luisa Bonet, Jordi Levy; On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity; 2003.
Download PDF
2002
Jordi Levy, Mateu Villaret; Currying Second-Order Unification Problems. Lecture Notes in Computer Science; 2002.
Download PDF
2001
Jordi Levy, Mateu Villaret; Context unification and Traversal Equations. Lecture Notes in Computer Science; 2001.
Download PDF
2000
Jordi Levy, Mateu Villaret; Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Lecture Notes in Computer Science; 2000.
Download PDF
Jordi Levy, Margus Veanes; On the Undecidability of Second-Order Unification. Information and Computation; 2000.
Download PDF
1998
Jordi Levy; Decidable and Undecidable Second-Order Unification Problems. Lecture Notes in Computer Science; 1998.
Download PDF
Jordi Levy, Margus Veanes; On Unification Problems in Restricted Second-Order Languages. Annual Conference of the European Association for Computer Science Logic, CSL'98; 1998.
Download PDF
1996
Jordi Levy, Jaume Agustí-Cullell; Bi-Rewrite Systems. Journal of Symbolic Computation; 1996.
Download PDF
Jordi Levy; Linear Second Order Unification. Lecture Notes in Computer Science; 1996.
Download PDF
1994
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy; Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae; 1994.
Download PDF
Jordi Levy; The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica de Catalunya; 1994.
Download PDF