Levy, Jordi

11 publications

JAIR 2024 Weighted, Circular and Semi-Algebraic Proofs Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

IJCAI 2024 Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

IJCAI 2021 Reducing SAT to Max2SAT Carlos Ansótegui, Jordi Levy

JAIR 2019 Community Structure in Industrial SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

IJCAI 2017 Locality in Random SAT Instances Jesús Giráldez-Cru, Jordi Levy

IJCAI 2015 A Modularity-Based Random SAT Instances Generator Jesús Giráldez-Cru, Jordi Levy

AAAI 2010 A New Algorithm for Weighted Partial MaxSAT Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

IJCAI 2009 Towards Industrial-like Random SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

AAAI 2008 Measuring the Hardness of SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

AAAI 2007 Inference Rules for High-Order Consistency in Weighted CSP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

IJCAI 2007 The Logic Behind Weighted CSP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà