Effectively computing high strength mixed covering arrays with constraints |
2024 |
Ansótegui, Carlos; Torres, Eduard |
Article d'investigació |
Encoding Ethics to Compute Value-Aligned Norms. |
2023 |
Serramia, Marc; Rodriguez Soto, Manel; López Sánchez, Maite; Rodríguez Aguilar, Juan A.; Bistaffa, Filippo; Boddington, Paula; Wooldridge, Michael J.; Ansótegui, Carlos |
Article d'investigació |
Interpretable decision trees through MaxSAT. |
2023 |
Alòs, Josep; Ansótegui, Carlos; Torres, Eduard |
Article d'investigació |
Incomplete MaxSAT approaches for combinatorial testing |
2022 |
Ansótegui, Carlos; Manyà, Felip; Ojeda, Jesus; Salvia, Josep M.; Torres, Eduard |
Article d'investigació |
Scale-Free Random SAT Instances |
2022 |
Ansótegui, Carlos; Bonet, Maria Luisa; Levy, Jordi |
Article d'investigació |
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ó |
Structure features for SAT instances classification |
2017 |
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy |
Article d'investigació |
WPM3: An (in)complete algorithm for weighted partial MaxSAT |
2017 |
Carlos Ansótegui, Joel Gabàs |
Article d'investigació |
Exploiting subproblem optimization in SAT-based MaxSAT algorithms |
2016 |
Carlos Ansótegui, Joel Gabàs, 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ó |
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ó |
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ó |
Improving WPM2 for (Weighted) Partial MaxSAT |
2013 |
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Acta congrés |
Solving (Weighted) Partial MaxSAT with ILP |
2013 |
Carlos Ansótegui; Joel Gabàs |
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ó |
SAT-based MaxSAT algorithms |
2013 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Article d'investigació |
The Community Structure of SAT Formulas |
2012 |
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy |
Acta congrés |
Improving SAT-Based Weighted MaxSAT Solvers |
2012 |
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Acta congrés |
A SAT-Based Approach to MinSAT |
2012 |
Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu |
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 |
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 |
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ó |
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ó |
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ó |
Towards Industrial-Like Random SAT Instances |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Capítol de llibre d'investigació |
Satisfiability |
2009 |
Carlos Ansotegui |
Publicació electrònica docent |
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ó |
Solving (Weighted) Partial MaxSAT through Satisfiability |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Article d'investigació |
On Solving MaxSAT Through SAT |
2009 |
Carlos Ansótegui, María Luisa Bonet, Jordi Levy |
Capítol de llibre 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ó |
Random SAT Instances à la Carte |
2008 |
C. Ansotegui, Bonet M, Levy J |
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ó |
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ó |
Measuring the Hardness of SAT Instances |
2008 |
Ansótegui C, Bonet ML, Levy C, Manya F. |
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 |
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Capítol de llibre 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ó |
On Balanced CSPs with High Treewidth |
2007 |
Ansótegui C, Béjar R, Fernández C, Mateu C. |
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ó |
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ó |
Balanced CSPs with High Treewidth |
2007 |
Ansótegui C, Bejar R, Fernández C, Mateu C. |
Capítol de llibre 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ó |
Mapping CSP into Many-Valued SAT |
2007 |
Ansótegui C, Bonet M, Levy J, Manyà J |
Article 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ó |
Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts |
2006 |
Meinolf Sellmann, Carlos Ansótegui |
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ó |
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency |
2006 |
Sabharwal A, Ansótegui C, Gomes C, Hart J, Selman B |
Article d'investigació |
Boosting Open CSPs |
2006 |
Macho S, Ansótegui C, Meseguer P |
Article 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 |
Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman |
Article en llibre |
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ó |
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ó |
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables |
2004 |
Ansótegui C, Manyà F |
Article 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ó |
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ó |
Una introducción a los algoritmos de satisfactibilidad. |
2003 |
C. Ansótegui and F. Manyà. |
Article d'investigació |
Lecture Notes in Computer Science |
2003 |
C. Ansotegui, J. Larrubia, F. Manyà |
Capítol de llibre d'investigació |
New Logical and Complexity Results for Signed-SAT |
2003 |
C. Ansotegui, F. Manyà |
Article en llibre |
The Logic Behind Weighted CSP |
2003 |
C. Ansotegui, Bonet M, Levy J, F. Manyà |
Capítol de llibre 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ó |
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ó |
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ó |
Lecture Notes in Computer Science |
2002 |
C. Ansotegui, F. Manyà |
Capítol de llibre d'investigació |
Proceedings CCIA'98 |
1998 |
T. Alsinet, R. Bejar, C. Ansotegui, C. Fernandez, F. Manya |
Capítol de llibre d'investigació |