Jordi Jordi Levy Levy

Tenured Scientist Tenured Scientist

  1. Home
  2. Staff & Students

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 Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.  [BibTeX]
                  Jesús Giráldez-Cru, Jordi Levy; Locality in Random SAT Instances. 2017.  [BibTeX]
                  Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. 2017.  [BibTeX]
                  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.  [BibTeX]
                  2016
                  Carlos Ansótegui, Joel Gabàs, Jordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.  [BibTeX]
                  Jesús Giráldez-Cru, Jordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.  [BibTeX]
                  2015
                  Jesús Giráldez-Cru, Jordi Levy; A Modularity-Based Random SAT Instances Generator. 2015.  [BibTeX]
                  Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Anti-Unification. 2015.  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; On the Classification of Industrial SAT Families. 2015.  [BibTeX]
                  Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. 2015.  [BibTeX]
                  2014
                  Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; The Fractal Dimension of SAT Formulas. 2014.  [BibTeX]
                  2013
                  Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; A Variant of Higher-Order Anti-Unification. 2013.  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving WPM2 for (Weighted) Partial MaxSAT. 2013.  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.  [PDF]  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Jordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.  [PDF]  [BibTeX]
                  2012
                  Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Chu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. 2012.  [PDF]  [BibTeX]
                  Carlos Ansótegui, María Luisa Bonet, Joel Gabàs, Jordi Levy; Improving SAT-Based Weighted MaxSAT Solvers. 2012.  [PDF]  [BibTeX]
                  Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 2012.  [PDF]  [BibTeX]
                  Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy; The Community Structure of SAT Formulas. 2012.  [PDF]  [BibTeX]
                  IP
                  MSCA-ITN-ETN – European Tra...

                  NL4XAI
                  Sierra, Carles
                  Oct 2019 - Sep 2023
                  European Commision

                  LOGISTAR
                  Levy, Jordi
                  Jun 2018 - May 2021
                  MINECO / FEDER

                  RASO
                  Godo, Lluís
                  Jan 2016 - Dec 2019
                  CSIC (Intramural 201450E045)

                  LOGAL
                  Meseguer, Pedro
                  Dec 2014 - Nov 2017
                  CICyT (TIN2010-20967-C04-01)

                  TASSAT
                  Levy, Jordi
                  Jan 2011 - Dec 2013
                  TIN2007-68005-C04-01

                  MULOG 2
                  Esteva, Francesc
                  Oct 2007 - Oct 2010
                  TIN2004-07933-C03-01

                  MULOG
                  Esteva, Francesc
                  Dec 2004 - Dec 2007