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à