JordiJordi LevyLevy

Tenured ScientistTenured Scientist

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
              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]
               IP