Jordi Jordi Levy Levy

Tenured Scientist Tenured Scientist

Department:

Logic and Reasoning Logic and Reasoning

Position:

       

       

      Research areas:

          Impact areas:

              SDGs:

                  Website:

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

                  e-mail:

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

                  Extension:

                  240 240
                  2017
                  Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.  [BibTeX]
                  Jesús Giráldez-CruJordi Levy; Locality in Random SAT Instances. 2017.  [BibTeX]
                  Manfred Schmidt-SchaußTemur KutsiaJordi LevyMateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. 2017.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.  [BibTeX]
                  2016
                  Carlos AnsóteguiJoel GabàsJordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.  [BibTeX]
                  Jesús Giráldez-CruJordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.  [BibTeX]
                  2015
                  Jesús Giráldez-CruJordi Levy; A Modularity-Based Random SAT Instances Generator. 2015.  [BibTeX]
                  Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Nominal Anti-Unification. 2015.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; On the Classification of Industrial SAT Families. 2015.  [BibTeX]
                  Carlos AnsóteguiJesús Giráldez-CruJordi LevyLaurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. 2015.  [BibTeX]
                  2014
                  Temur KutsiaJordi LevyMateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; The Fractal Dimension of SAT Formulas. 2014.  [BibTeX]
                  2013
                  Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; A Variant of Higher-Order Anti-Unification. 2013.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJoel GabàsJordi Levy; Improving WPM2 for (Weighted) Partial MaxSAT. 2013.  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.  [PDF]  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.  [PDF]  [BibTeX]
                  2012
                  Carlos AnsóteguiMaría Luisa BonetJordi LevyChu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. 2012.  [PDF]  [BibTeX]
                  Carlos AnsóteguiMaría Luisa BonetJoel GabàsJordi Levy; Improving SAT-Based Weighted MaxSAT Solvers. 2012.  [PDF]  [BibTeX]
                  Jordi LevyMateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 2012.  [PDF]  [BibTeX]
                  Carlos AnsóteguiJesús Giráldez-CruJordi Levy; The Community Structure of SAT Formulas. 2012.  [PDF]  [BibTeX]
                  IP