Bonet, Maria Luisa

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

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

AAAI 2018 MaxSAT Resolution with the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

JAIR 2014 Improved Separations of Regular Resolution from Clause Learning Proof Systems Maria Luisa Bonet, Sam Buss, Jan Johannsen

IJCAI 2013 An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract) Maria Luisa Bonet, Sam Buss

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à