Person

Department:

Logic and ReasoningLogic and Reasoning

Position:

Tenured ScientistTenured Scientist

Research areas:

Impact areas:

SDGs:

Website:

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

E-mail:

levy@iiia.csic.eslevy@iiia.csic.es

Extension:

240240

Publications
Projects

2017

Alexander Baumgartner, Temur Kutsia, Jordi Levy, & Mateu Villaret (2017). Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. [BibTeX]

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

Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, & Mateu Villaret (2017). 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 . [BibTeX]

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

2016

Carlos Ansótegui, Joel Gabàs, & Jordi Levy (2016). Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. [BibTeX]

Jesús Giráldez-Cru, & Jordi Levy (2016). Generating SAT instances with community structure. Artificial Intelligence. [BibTeX]

2015

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

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

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

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

2014

Temur Kutsia, Jordi Levy, & Mateu Villaret (2014). Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. [BibTeX]

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

2013

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

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

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, & Felip Manyà (2013). Resolution Procedures for Multiple-Valued Optimization. Information Sciences. [BibTeX] [PDF]

Carlos Ansótegui, María Luisa Bonet, & Jordi Levy (2013). SAT-Based MaxSAT Algorithms. Artificial Intelligence. [BibTeX] [PDF]

2012

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

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

Jordi Levy, & Mateu Villaret (2012). Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics. [BibTeX] [PDF]

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