Bachelor's degree in Computer Engineering

ANSOTEGUI GIL, CARLOS JOSE

Category: PROFESSOR
Academic profile: Doctorate
Department: COMPUTER ENGINEERING AND DIGITAL DESIGN
Email: carlos.ansotegui@udl.cat

Teaching

Teaching Course Subject
PARS Enginyeria Informàtica 1 COMPUTATIONAL LOGIC
Master's Degree in Informatics Engineering 1 INTELLIGENT SYSTEMS
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 1 COMPUTATIONAL LOGIC
Degree in Computer Engineering 1 COMPUTATIONAL LOGIC
Degree in Computer Engineering 3 ARTIFICIAL INTELLIGENCE
Doble titulació: Grau Eng.Informàtica i Grau en Administr.Direcció Empreses 4 ARTIFICIAL INTELLIGENCE
Master's Degree in Informatics Engineering ARTIFICIAL INTELLIGENCE

Research

Research profile: Logic, Optimization and Robotics(LOR)
Research projects Start date End date Main researchers
AGENTS: Model d'aprenentatge dins un entorn col·laboratiu. 30/12/2009 29/12/2010 JOSEP ARGELICH ROMA
Sistema automàtic de verificació de solucions de programes informàtics com a suport a l'aprenentatge i autoavaluació. 30/12/2009 29/12/2010 CARLOS J. ANSOTEGUI GIL
Lógica multivaluada: Fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión 13/12/2004 12/12/2007 CESAR FERNÁNDEZ CAMON
Teoria, Aplicaciones y Sinergia en SAT, CSP y FDL 01/01/2011 31/12/2013 CESAR FERNÁNDEZ CAMON
TASSAT 2: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones 01/01/2014 30/06/2017 CARLOS J. ANSOTEGUI GIL
TASSAT 3: Teoría y Aplicaciones en Satisfactibilidad y Optimización de Restricciones (TASSAT3) 30/12/2016 29/12/2020 CARLOS J. ANSOTEGUI GIL
Eina de verificació de solucions a problemes de programació com a recurs d'autoaprenentatge (versió 2.0) 28/02/2012 27/02/2013 CARLOS J. ANSOTEGUI GIL
Calibrado inteligente de algoritmos para COVID19 (CAINALCO) 15/07/2020 14/07/2021 CARLOS J. ANSOTEGUI GIL
Sistemas eficientes de razonamiento automático con información incompleta e imprecisa basados en SAT y CSP: Diseño e implementación 01/01/2010 31/12/2013 RAMON BÉJAR TORRES
Entorn virtual d'aprenentatge i autoavaluació de lògica proposicional i combinacional 01/10/2007 30/09/2009 FERNANDO GUIRADO FERNÁNDEZ
Satisfactibilidad y Optimización con Certificados de Prueba más allá de Resolución - Aplicaciones (PROOFS BEYOND-A) 01/09/2023 31/08/2026 CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ
Lógicas multivaluadas y clásica: fundamentos y aplicaciones computacionales 28/12/2001 27/12/2004 FELIPE MAÑA SERRES
Sistemas de Demostración Prácticos Mas Allá de Resolución. 01/06/2020 29/02/2024 CARLOS J. ANSOTEGUI GIL, JORGE LEVY DÍAZ
Evolución de los elementos que caracterizan el modelo precario de empleo juvenil entre 2008 y 2018 04/12/2019 03/06/2020 MARÍA ÁNGELES CABASÉS PIQUÉ
Lógicas multivaluadas: Algoritmos para SAT y Max-SAT 01/10/2007 30/09/2010 CESAR FERNÁNDEZ CAMON
Robocode: Model d'aprenentatge dins un entorn col·laboratiu competitiu. 27/02/2012 26/02/2013 JORDI PLANES CID
Integració en la plataforma Sakai un sistema automàtic de certificació de solucions 22/10/2010 21/10/2011 CARLOS MATEU PIÑOL
AGENTS 2011: Model d'aprenentatge dins d'un entorn col·laboratiu 19/10/2010 18/10/2012 JOSEP ARGELICH ROMA
El empleo juvenil en España ante la crisis de la COVID‐19: impacto en la desigualdad laboral por género desde un enfoque interseccional.(EMJUCOVID) 01/07/2020 30/06/2021 MARÍA ÁNGELES CABASÉS PIQUÉ
Science-Based Education and Communication to Fight Covid-19 and Future Pandemics (IlerCOVID) 08/06/2021 07/12/2022 PAVLOS CHRISTOU
Thesis Year Direction
SAT-BASED APPROACHES FOR CONSTRAINT OPTIMIZATION 2016 Carlos José Ansótegui Gil
Publications Year Authors Type
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ó
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ó
MaxSAT by improved instance-specific algorithm configuration 2016 Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann: 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
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
SAT-based MaxSAT algorithms 2013 Carlos Ansótegui, María Luisa Bonet, Jordi Levy 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
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
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
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ó
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ó
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic 2011 C. Ansotegui, M. Bofill, F. Manyà, M. Villaret Capítol de llibre d'investigació
On the Modularity of Industrial SAT Instances 2011 Carlos Ansótegui, 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ó
A New Algorithm for Weighted Partial MaxSAT 2010 Carlos Ansotegui, Maria 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ó
Solving (Weighted) Partial MaxSAT through Satisfiability 2009 Carlos Ansótegui, María Luisa Bonet, Jordi Levy Article 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ó
On Solving MaxSAT Through SAT 2009 Carlos Ansótegui, María Luisa Bonet, Jordi Levy 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ó
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ó
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ó
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 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ó
The Logic Behind Weighted CSP 2007 Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manya 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ó
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. 2007 Ansótegui C, Larrubia J, Li CM, Manyà F Article d'investigació
Mapping CSP into Many-Valued SAT 2007 Ansótegui C, Bonet M, Levy J, Manyà J 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. 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ó
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 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ó
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 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 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. 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ó
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ó
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ó
Boosting Chaff's Performance by Incorporating CSP Heuristics 2003 Ansótegui C, Larrubia J, 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ó
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ó