Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Jordi Levy
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
Usted está aquí
Home
>
Personal
>
Jordi Levy
Jordi Levy
Jordi Levy
Personal actual
Personal anterior
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
1
2
3
siguiente
última
Internacional
01 Junio 2018
-
31 Mayo 2021
Jordi Levy
LOGISTAR
Enhanced data management techniques for real time logistics planning and scheduling
Plan Nacional
01 Enero 2016
-
31 Diciembre 2018
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Intramural
01 Diciembre 2014
-
30 Noviembre 2017
Pedro Meseguer
Logal
Lógica y algoritmos
Plan Nacional
01 Enero 2011
-
31 Diciembre 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
-
15 Octubre 2007
-
15 Octubre 2010
Francesc Esteva
MULOG 2
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
-
13 Diciembre 2004
-
13 Diciembre 2007
Francesc Esteva
MULOG
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión