Jordi Levy

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 33

Top Topics

Anti Unification

Phase Transition

Community Structure

Top Venues

Publications

Pol Rodríguez-Farrés, Rocco Ballester, Carlos Ansótegui, Jordi Levy, Jesús Cerquides
Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances. ICCS (6) (2024)
Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res. 79 (2024)
Carlos Ansótegui, Jordi Levy
SAT, Gadgets, Max2XOR, and Quantum Annealers. CoRR (2024)
Eduardo Calò, Jordi Levy, Albert Gatt, Kees van Deemter
Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation. *SEM@ACL (2023)
Eduardo Calò, Jordi Levy
General Boolean Formula Minimization with QBF Solvers. CoRR (2023)
Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
The impact of heterogeneity and geometry on the proof complexity of random satisfiability. Random Struct. Algorithms 63 (4) (2023)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
On the Density of States of Boolean Formulas. CCIA (2023)
Eduardo Calò, Jordi Levy
General Boolean Formula Minimization with QBF Solvers. CCIA (2023)
Ilario Bonacina, Maria Luisa Bonet, Jordi Levy
Polynomial Calculus for MaxSAT. SAT (2023)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Scale-Free Random SAT Instances. Algorithms 15 (6) (2022)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae 185 (3) (2022)
Carlos Ansótegui, Jordi Levy
Reducing SAT to Max2XOR. CoRR (2022)
Dave de Jonge, Filippo Bistaffa, Jordi Levy
Multi-objective vehicle routing with automated negotiation. Appl. Intell. 52 (14) (2022)
Carlos Ansótegui, Jordi Levy
Yet Another (Fake) Proof of P=NP. CCIA (2022)
Carlos Ansótegui, Jordi Levy
Reducing SAT to Max2SAT. IJCAI (2021)
Jesús Giráldez-Cru, Jordi Levy
Popularity-similarity random SAT formulas. Artif. Intell. 299 (2021)
Dave de Jonge, Filippo Bistaffa, Jordi Levy
A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. AAMAS (2021)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR (2021)
Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. SODA (2021)
Maria Luisa Bonet, Jordi Levy
Equivalence Between Systems Stronger Than Resolution. SAT (2020)
Thomas Bläsius, Tobias Friedrich, Andreas Göbel, Jordi Levy, Ralf Rothenberger
The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. CoRR (2020)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Community Structure in Industrial SAT Instances. J. Artif. Intell. Res. 66 (2019)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Phase Transition in Realistic Random SAT Models. CCIA (2019)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Term-Graph Anti-Unification. FSCD (2018)
Jesús Giráldez-Cru, Jordi Levy
Locality in Random SAT Instances. IJCAI (2017)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58 (2) (2017)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
Structure features for SAT instances classification. J. Appl. Log. 23 (2017)
Jordi Levy
Percolation and Phase Transition in SAT. CoRR (2017)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. CoRR (2016)
Carlos Ansótegui, Joel Gabàs, Jordi Levy
Exploiting subproblem optimization in SAT-based MaxSAT algorithms. J. Heuristics 22 (1) (2016)
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR (2016)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
Community Structure in Industrial SAT Instances. CoRR (2016)
Jesús Giráldez-Cru, Jordi Levy
Generating SAT instances with community structure. Artif. Intell. 238 (2016)
Jesús Giráldez-Cru, Jordi Levy
A Modularity-Based Random SAT Instances Generator. IJCAI (2015)
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
Using Community Structure to Detect Relevant Learnt Clauses. SAT (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. RTA (2015)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
On the Classification of Industrial SAT Families. CCIA (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. UNIF (2014)
Jordi Levy
On the Limits of Second-Order Unification. UNIF (2014)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. 52 (2) (2014)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
The Fractal Dimension of SAT Formulas. IJCAR (2014)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
A Variant of Higher-Order Anti-Unification. RTA (2013)
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy
The Fractal Dimension of SAT Formulas. CoRR (2013)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
Resolution procedures for multiple-valued optimization. Inf. Sci. 227 (2013)
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Improving WPM2 for (Weighted) Partial MaxSAT. CP (2013)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
SAT-based MaxSAT algorithms. Artif. Intell. 196 (2013)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li
Analysis and Generation of Pseudo-Industrial MaxSAT Instances. CCIA (2012)
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy
The Community Structure of SAT Formulas. SAT (2012)
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Improving SAT-Based Weighted MaxSAT Solvers. CP (2012)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective. ACM Trans. Comput. Log. 13 (2) (2012)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Log. J. IGPL 19 (6) (2011)
Carlos Ansótegui, Jordi Levy
On the Modularity of Industrial SAT Instances. CCIA (2011)
Temur Kutsia, Jordi Levy, Mateu Villaret
Anti-Unification for Unranked Terms and Hedges. RTA (2011)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective CoRR (2010)
Temur Kutsia, Jordi Levy, Mateu Villaret
On the relation between Context and Sequence Unification. J. Symb. Comput. 45 (1) (2010)
Jordi Levy, Mateu Villaret
An Efficient Nominal Unification Algorithm. RTA (2010)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
A New Algorithm for Weighted Partial MaxSAT. AAAI (2010)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
On Solving MaxSAT Through SAT. POS@SAT (2010)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Towards Industrial-Like Random SAT Instances. IJCAI (2009)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Solving (Weighted) Partial MaxSAT through Satisfiability Testing. SAT (2009)
Jordi Levy, Mateu Villaret
Simplifying the signature in second-order unification. Appl. Algebra Eng. Commun. Comput. 20 (5-6) (2009)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
On the Structure of Industrial SAT Instances. CP (2009)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
On Solving MaxSAT Through SAT. CCIA (2009)
Jordi Levy, Mateu Villaret
Nominal Unification from a Higher-Order Perspective. RTA (2008)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
The Complexity of Monadic Second-Order Unification. SIAM J. Comput. 38 (3) (2008)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
Random SAT Instances à la Carte. CCIA (2008)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
Measuring the Hardness of SAT Instances. AAAI (2008)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
A Complete Resolution Calculus for Signed Max-SAT. ISMVL (2007)
Temur Kutsia, Jordi Levy, Mateu Villaret
Sequence Unification Through Currying. RTA (2007)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
The Logic Behind Weighted CSP. IJCAI (2007)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
Mapping CSP into Many-Valued SAT. SAT (2007)
Maria Luisa Bonet, Jordi Levy, Felip Manyà
Resolution for Max-SAT. Artif. Intell. 171 (8-9) (2007)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
Inference Rules for High-Order Consistency in Weighted CSP. AAAI (2007)
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
What Is a Real-World SAT Instance? CCIA (2007)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Bounded Second-Order Unification Is NP-Complete. RTA (2006)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Stratified Context Unification Is NP-Complete. IJCAR (2006)
Maria Luisa Bonet, Jordi Levy, Felip Manyà
A Complete Calculus for Max-SAT. SAT (2006)
Jordi Levy, Joachim Niehren, Mateu Villaret
Well-Nested Context Unification. CADE (2005)
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Monadic Second-Order Unification Is NP-Complete. RTA (2004)
Albert Atserias, Maria Luisa Bonet, Jordi Levy
On Chvatal Rank and Cutting Planes Proofs Electron. Colloquium Comput. Complex. (041) (2003)
Jordi Levy, Mateu Villaret
Currying Second-Order Unification Problems. RTA (2002)
Jordi Levy, Mateu Villaret
Context Unification and Traversal Equations. RTA (2001)
Jordi Levy, Mateu Villaret
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. RTA (2000)
Jordi Levy, Margus Veanes
On the Undecidability of Second-Order Unification. Inf. Comput. 159 (1-2) (2000)
Jordi Levy
Decidable and Undecidable Second-Order Unification Problems. RTA (1998)
Jordi Levy
Linear Second-Order Unification. RTA (1996)
Jordi Levy, Jaume Agustí-Cullell
Bi-Rewrite Systems. J. Symb. Comput. 22 (3) (1996)
Jordi Levy
A Decidable Second-Order Unification Problem. UNIF (1995)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. Fundam. Informaticae 21 (3) (1994)
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
Expressing Program Requirements Using Refinement Lattices. ISMIS (1993)
Jordi Levy, Jaume Agustí-Cullell
Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. RTA (1993)
Jordi Levy, Jaume Agustí-Cullell
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. COMPASS/ADT (1992)