Jordi Levy

Departamento de Razonamiento y Lógica

Email:

levy@iiia.csic.es

Extension:

240

Web:

http://www.iiia.csic.es/~levy

Position:

Scientific Staff

Publications
Projects

63 Publications

2017

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.

Download PDF

Jesús Giráldez-Cru, Jordi Levy; Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017; 2017.

Download PDF

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016; 2017.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.

Download PDF

2016

Carlos Ansótegui, Joel Gabàs, Jordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.

Download PDF

Jesús Giráldez-Cru, Jordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.

Download PDF

2015

Jesús Giráldez-Cru, Jordi Levy; A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15; 2015.

Download PDF

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15; 2015.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15; 2015.

Download PDF

Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15; 2015.

Download PDF

2014

Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14; 2014.

Download PDF

2013

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13; 2013.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13; 2013.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.

Download PDF

2012

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Chu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Proc. of the 15th Int. Conf. of the ACIA, CCIA'12; 2012.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving SAT-Based Weighted MaxSAT Solvers. Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12; 2012.

Download PDF

Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 2012.

Download PDF

Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy; The Community Structure of SAT Formulas. Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12; 2012.

Download PDF

2011

Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-Unification for Unranked Terms and Hedges. Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11; 2011.

Download PDF

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL; 2011.

Download PDF

Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.

Download PDF

2010

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010; 2010.

Download PDF

Jordi Levy, Mateu Villaret; An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010; 2010.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10; 2010.

Download PDF

Temur Kutsia, Jordi Levy, Mateu Villaret; On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation; 2010.

Download PDF

2009

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On Solving MaxSAT Through SAT. Proc. of the 12th Int. Conf. of the ACIA, CCIA'09; 2009.

Download PDF

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic; 2009.

Download PDF

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09; 2009.

Download PDF