Jordi Levy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
10
Active years
1992–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | Beyond Core-Guided MaxSAT. | Ilario Bonacina, Jordi Levy, Ion Mikel Liberal |
| 2025 | SAT | An Algebraic Approach to MaxCSP. | Ilario Bonacina, Jordi Levy |
| 2024 | ICCS | Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances. | Pol Rodrguez-Farrs, Rocco Ballester, Carlos Anstegui, Jordi Levy, Jess Cerquides |
| 2024 | IJCAI | Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint). | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2023 | SAT | Polynomial Calculus for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2021 | IJCAI | Reducing SAT to Max2SAT. | Carlos Anstegui, Jordi Levy |
| 2021 | SODA | The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. | Thomas Blsius, Tobias Friedrich, Andreas Gbel, Jordi Levy, Ralf Rothenberger |
| 2020 | SAT | Equivalence Between Systems Stronger Than Resolution. | Maria Luisa Bonet, Jordi Levy |
| 2017 | IJCAI | Locality in Random SAT Instances. | Jess Girldez-Cru, Jordi Levy |
| 2016 | LOPSTR | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schau, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2015 | IJCAI | A Modularity-Based Random SAT Instances Generator. | Jess Girldez-Cru, Jordi Levy |
| 2015 | SAT | Using Community Structure to Detect Relevant Learnt Clauses. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy, Laurent Simon |
| 2014 | CADE | The Fractal Dimension of SAT Formulas. | Carlos Anstegui, Maria Luisa Bonet, Jess Girldez-Cru, Jordi Levy |
| 2013 | CP | Improving WPM2 for (Weighted) Partial MaxSAT. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 2012 | CP | Improving SAT-Based Weighted MaxSAT Solvers. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 2012 | SAT | The Community Structure of SAT Formulas. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy |
| 2010 | AAAI | A New Algorithm for Weighted Partial MaxSAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2010 | SAT | On Solving MaxSAT Through SAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | CP | On the Structure of Industrial SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | IJCAI | Towards Industrial-Like Random SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | SAT | Solving (Weighted) Partial MaxSAT through Satisfiability Testing. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2008 | AAAI | Measuring the Hardness of SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | AAAI | Inference Rules for High-Order Consistency in Weighted CSP. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | IJCAI | The Logic Behind Weighted CSP. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | SAT | Mapping CSP into Many-Valued SAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2006 | CADE | Stratified Context Unification Is NP-Complete. | Jordi Levy, Manfred Schmidt-Schau, Mateu Villaret |
| 2006 | SAT | A Complete Calculus for Max-SAT. | Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2005 | CADE | Well-Nested Context Unification. | Jordi Levy, Joachim Niehren, Mateu Villaret |
| 1993 | ISMIS | Expressing Program Requirements Using Refinement Lattices. | David Stuart Robertson, Jaume Agust-Cullell, Jane Hesketh, Jordi Levy |
| 1992 | COMPASS | Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. | Jordi Levy, Jaume Agust-Cullell |