| Boosting evolutionary algorithm configuration |
2021 |
Ansótegui, Carlos; Pon, Josep; Sellmann, Meinolf |
Article d'investigació |
| Community Structure in Industrial SAT Instances. |
2019 |
Carlos Ansótegui; Maria Luisa Bonet; Jesús Giráldez-Cru; Jordi Levy; Laurent Simon |
Article d'investigació |
| WPM3: An (in)complete algorithm for weighted partial MaxSAT |
2017 |
Carlos Ansótegui, Joel Gabàs |
Article d'investigació |
| Structure features for SAT instances classification |
2017 |
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy |
Article d'investigació |
| MaxSAT by improved instance-specific algorithm configuration |
2016 |
Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann: |
Article d'investigació |
| Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. |
2016 |
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret: |
Article d'investigació |
| Exploiting subproblem optimization in SAT-based MaxSAT algorithms |
2016 |
Carlos Ansótegui, Joel Gabàs, Jordi Levy |
Article d'investigació |
| SAT and SMT Technology for Many-Valued Logics |
2015 |
Carlos Ansótegui, Miquel Bofill, Felip Manaya and Mateu Villaret |
Article d'investigació |
| Resolution procedures for multiple-valued optimization |
2013 |
Ansotegui, C; Bonet, ML; Levy, J; Manya, F |
Article d'investigació |
| SAT-based MaxSAT algorithms |
2013 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Article d'investigació |
| On the hardness of solving edge matching puzzles as SAT or CSP problems |
2013 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Solving (Weighted) Partial MaxSAT with ILP |
2013 |
Carlos Ansótegui; Joel Gabàs |
Acta congrés |
| Improving WPM2 for (Weighted) Partial MaxSAT |
2013 |
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Acta congrés |
| A SAT-Based Approach to MinSAT |
2013 |
Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, José Torres Jiménez |
Acta congrés |
| Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories |
2013 |
Ansotegui C, Bofill M, Palahi M, Suy J, Villaret M. |
Article d'investigació |
| Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers |
2012 |
C. Ansotegui, M. Bofill, F. Manyà, M. Villaret |
Acta congrés |
| A SAT-Based Approach to MinSAT |
2012 |
Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu |
Acta congrés |
| Improving SAT-Based Weighted MaxSAT Solvers |
2012 |
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Acta congrés |
| The Community Structure of SAT Formulas |
2012 |
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy |
Acta congrés |
| Analysis and Generation of Pseudo-Industrial MaxSAT Instances |
2012 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Chu Min Li |
Acta congrés |
| Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem |
2011 |
Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret |
Capítol de llibre d'investigació |
| Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic |
2011 |
C. Ansotegui, M. Bofill, F. Manyà, M. Villaret |
Capítol de llibre d'investigació |
| Generating highly balanced sudoku problems as hard problems |
2011 |
Ansótegui Carlos; Béjar Ramón; Fernández Cèsar; Gomes Carla; Mateu Carles |
Article d'investigació |
| On the Modularity of Industrial SAT Instances |
2011 |
Carlos Ansótegui, Jordi Levy |
Capítol de llibre d'investigació |
| A New Algorithm for Weighted Partial MaxSAT |
2010 |
Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy |
Capítol de llibre d'investigació |
| Solving Pseudo-Boolean Modularity Constraints |
2010 |
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu |
Capítol de llibre d'investigació |
| On the sturcture of Industrial SAT Instances |
2009 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
Article d'investigació |
| A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms |
2009 |
Ansótegui C, Sellmann M, Tierney K |
Article d'investigació |
| On Solving MaxSAT Through SAT |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Capítol de llibre d'investigació |
| Satisfiability |
2009 |
Carlos Ansotegui |
Publicació electrònica docent |
| Towards Industrial-Like Random SAT Instances |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Capítol de llibre d'investigació |
| Solving (Weighted) Partial MaxSAT through Satisfiability |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Article d'investigació |
| Edge Matching Puzzles as Hard SAT/CSP Instances |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| From High Girth Graphs to Hard Instances |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Measuring the Hardness of SAT Instances |
2008 |
Ansótegui C, Bonet ML, Levy C, Manya F. |
Capítol de llibre d'investigació |
| Generating Hard SAT/CSP Instances Using Expander Graphs |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Capítol de llibre d'investigació |
| How Hard is a Commercial Puzzle: the Eternity II Challenge |
2008 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Capítol de llibre d'investigació |
| Random SAT Instances à la Carte |
2008 |
C. Ansotegui, Bonet M, Levy J |
Capítol de llibre d'investigació |
| On Balanced CSPs with High Treewidth |
2007 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
Article d'investigació |
| Balanced CSPs with High Treewidth |
2007 |
Ansótegui C, Bejar R, Fernández C, Mateu C. |
Capítol de llibre d'investigació |
| Inference Rules for High-Order Consistency in Weighted CSP. AAAI 2007 |
2007 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Article d'investigació |
| The Logic Behind Weighted CSP |
2007 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Article d'investigació |
| Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. |
2007 |
Ansótegui C, Larrubia J, Li CM, Manyà F |
Article d'investigació |
| A Complete Resolution Calculus for Signed Max-SAT |
2007 |
C. Ansotegui, M. Bonet, J. Levy, F. Manyà |
Capítol de llibre d'investigació |
| Mapping CSP into Many-Valued SAT |
2007 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Capítol de llibre d'investigació |
| Inference Rules for High-Order Consistency in Weighted CSP |
2007 |
Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy, Felip Manya |
Capítol de llibre d'investigació |
| Mapping CSP into Many-Valued SAT |
2007 |
Ansótegui C, Bonet M, Levy J, Manyà J |
Article d'investigació |
| What Is a Real-World SAT Instance? |
2007 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manya |
Capítol de llibre d'investigació |
| The Logic Behind Weighted CSP |
2007 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manya |
Capítol de llibre d'investigació |
| The Impact of Balancing on Problem Hardness in a Highly Structured Domain |
2006 |
Ansótegui C, Béjar R, Fernández C, Gomes C, Mateu C. |
Capítol de llibre d'investigació |
| Boosting Open CSPs |
2006 |
Santiago Macho González, Carlos Ansótegui, Pedro Meseguer |
Article en llibre |
| QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency |
2006 |
Sabharwal A, Ansótegui C, Gomes C, Hart J, Selman B |
Article d'investigació |
| Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts |
2006 |
Meinolf Sellmann, Carlos Ansótegui |
Article d'investigació |
| QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency |
2006 |
Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
Article en llibre |
| Boosting Open CSPs |
2006 |
Macho S, Ansótegui C, Meseguer P |
Article d'investigació |
| Disco-Novo-GoGo: Integrating Local Search and Complete Search with Restarts |
2006 |
Meinolf Sellmann, Carlos Ansotegui |
Capítol de llibre d'investigació |
| The Impact of Balancing on Problem Hardness in a Highly Structured Domain |
2006 |
Ansótegui C, Béjar R, Fernández C, Gomes C, Mateu C. |
Article d'investigació |
| The Achilles' Heel of QBF |
2005 |
C. Ansótegui C, Gomes C., Selman B. |
Article d'investigació |
| The Achilles' Heel of QBF |
2005 |
C. Ansótegui C, Gomes C., Selman B. |
Capítol de llibre d'investigació |
| Modelling Choices in Quasigroup Completion: SAT vs. CSP |
2004 |
Ansótegui C, del Val A, Dotú I, Fernández C, Manyà F. |
Capítol de llibre d'investigació |
| The Interface between P and NP in Signed CNF Formulas |
2004 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Capítol de llibre d'investigació |
| Modelling Choices in Quasigroup Completion: SAT vs. CSP |
2004 |
Ansótegui C, del Val A, Dotú I, Fernández C, Manyà F. |
Article d'investigació |
| The interface between P and NP in Many-Valued Clausal Forms |
2004 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
| The Interface between P and NP in Signed CNF Formulas |
2004 |
Ansotegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
| Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables |
2004 |
Ansótegui C, Manyà F |
Article d'investigació |
| Automated monitoring of medical protocols: a secure and distributed architecture |
2003 |
Alsinet T, Ansotegui C, Bejar R, Fernandez C, Manya F. |
Article d'investigació |
| Lecture Notes in Computer Science |
2003 |
C. Ansotegui, J. Larrubia, F. Manyà |
Capítol de llibre d'investigació |
| The Logic Behind Weighted CSP |
2003 |
C. Ansotegui, Bonet M, Levy J, F. Manyà |
Capítol de llibre d'investigació |
| Una introducción a los algoritmos de satisfactibilidad. |
2003 |
C. Ansótegui and F. Manyà. |
Article d'investigació |
| New Logical and Complexity Results for Signed-SAT |
2003 |
C. Ansotegui, F. Manyà |
Article en llibre |
| Boosting Chaff's Performance by Incorporating CSP Heuristics |
2003 |
Ansótegui C, Larrubia J, Manyà F |
Article d'investigació |
| A New Approach to Solving SAT-Encoded Binary CSPs |
2003 |
Ansótegui C |
Article d'investigació |
| Lecture Notes in Computer Science |
2002 |
C. Ansotegui, F. Manyà |
Capítol de llibre d'investigació |
| Bridging the Gap between SAT and CSP |
2002 |
Ansótegui C, Manyà F. |
Article d'investigació |
| Resolución de problemas en ingeniería utilizando técnicas de inteligencia artificial |
2002 |
Ansótegui C, Béjar R, Cabiscol A, Manyà F. |
Article d'investigació |
| Proceedings CCIA'98 |
1998 |
T. Alsinet, R. Bejar, C. Ansotegui, C. Fernandez, F. Manya |
Capítol de llibre d'investigació |
