Reasoning and Logic Department
Jordi Levy
Email: 
levy@iiia.csic.es
Extension: 
240
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.
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.
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.
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.
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.
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.
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.
Temur Kutsia, Jordi Levy, Mateu Villaret; Sequence Unification Through Currying. Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07; 2007.
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.
2006
2005
2004
2003
2002
2001
2000
1998
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.
1996
Jordi Levy; Linear Second Order Unification. Lecture Notes in Computer Science; 1996.
1994
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy; Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae; 1994.