Ansótegui, Carlos

17 publications

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
AAAI 2017 Reactive Dialectic Search Portfolios for MaxSAT Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney
IJCAI 2015 Exploiting the Structure of Unsatisfiable Cores in MaxSAT Carlos Ansótegui, Frédéric Didier, Joel Gabàs
IJCAI 2015 Model-Based Genetic Algorithms for Algorithm Configuration Carlos Ansótegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney
AAAI 2014 MaxSAT by Improved Instance-Specific Algorithm Configuration Carlos Ansótegui, Yuri Malitsky, Meinolf Sellmann
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 Generating Hard SAT/CSP Instances Using Expander Graphs Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
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à
AAAI 2007 On Balanced CSPs with High Treewidth Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
IJCAI 2007 The Logic Behind Weighted CSP Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà
AAAI 2006 Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts Meinolf Sellmann, Carlos Ansótegui
AAAI 2006 The Impact of Balancing on Problem Hardness in a Highly Structured Domain Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
AAAI 2005 The Achilles' Heel of QBF Carlos Ansótegui, Carla P. Gomes, Bart Selman
AAAI 2004 Modeling Choices in Quasigroup Completion: SAT vs. CSP Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà