ANSOTEGUI GIL, CARLOS JOSE

Categoría: CATEDRÁTICO/A DE UNIVERSIDAD
Perfil académico: Doctorado
Departamento: INFORMATICA E INGENIERIA INDUSTRIAL
Email: carlos.ansotegui@udl.cat

Docencia

Enseñanza Curso Asignatura
MU en Ingeniería Informática 1 SISTEMAS INTELIGENTES
Grado en Ingeniería Informática 1 LÓGICA COMPUTACIONAL
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 1 LÓGICA COMPUTACIONAL
Grado en Ingeniería Informática 3 INTELIGENCIA ARTIFICIAL
Doble Titulación: Grado en Ingeniería Informática y Grado en ADE 4 INTELIGENCIA ARTIFICIAL
MU en Ingeniería Informática INTELIGENCIA ARTIFICIAL

Investigación

Grupo de investigación: Grup de lògica i optimització (LOG) / Logic and Optimization Group (LOG)
Tesis Año Dirección
SAT-BASED APPROACHES FOR CONSTRAINT OPTIMIZATION 2016 Carlos José Ansótegui Gil
Publicaciones Año Autores Tipo
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ó
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ó
A SAT-Based Approach to MinSAT 2013 Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, José Torres Jiménez Acta congrés
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
SAT-based MaxSAT algorithms 2013 Carlos Ansótegui, María Luisa Bonet, Jordi Levy Article d'investigació
Resolution procedures for multiple-valued optimization 2013 Ansotegui, C; Bonet, ML; Levy, J; Manya, F Article d'investigació
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ó
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
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
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ó
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ó
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
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ó
Random SAT Instances à la Carte 2008 C. Ansotegui, Bonet M, Levy J 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ó
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ó
The Logic Behind Weighted CSP 2007 Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà 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ó
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ó
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. 2007 Ansótegui C, Larrubia J, Li CM, Manyà F Article d'investigació
On Balanced CSPs with High Treewidth 2007 Ansótegui C, Béjar R, Fernández C, Mateu C. Article 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ó
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ó
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ó
Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts 2006 Meinolf Sellmann, Carlos Ansótegui 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 Ansotegui Capítol de llibre d'investigació
Boosting Open CSPs 2006 Macho S, Ansótegui C, Meseguer P Article 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ó
The Achilles' Heel of QBF 2005 C. Ansótegui C, Gomes C., Selman B. Capítol de llibre d'investigació
The Achilles' Heel of QBF 2005 C. Ansótegui C, Gomes C., Selman B. Article 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ó
The Interface between P and NP in Signed CNF Formulas 2004 Ansotegui C, Béjar R, Cabiscol A, 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ó
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ó
New Logical and Complexity Results for Signed-SAT 2003 C. Ansotegui, F. Manyà Article en llibre
Una introducción a los algoritmos de satisfactibilidad. 2003 C. Ansótegui and F. Manyà. Article d'investigació
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ó
Lecture Notes in Computer Science 2003 C. Ansotegui, J. Larrubia, F. Manyà Capítol de llibre d'investigació
A New Approach to Solving SAT-Encoded Binary CSPs 2003 Ansótegui C Article d'investigació
Boosting Chaff's Performance by Incorporating CSP Heuristics 2003 Ansótegui C, Larrubia J, Manyà F Article d'investigació
Bridging the Gap between SAT and CSP 2002 Ansótegui C, Manyà F. Article d'investigació
Lecture Notes in Computer Science 2002 C. Ansotegui, F. Manyà Capítol de llibre 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ó