Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Carlos Ansótegui
Current staff
Former staff
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Carlos Ansótegui
Carlos Ansótegui
Carlos Ansótegui
Current staff
Former staff
Email:
carlos@diei.udl.cat
Position:
Previous visiting scientists
Publications
Projects
35 Publications
2018
Maite López-Sánchez
,
Marc Serramia
,
Juan A. Rodríguez-Aguilar
,
Javier Morales
,
Michael Wooldridge
,
Carlos Ansótegui
;
Exploiting moral values to choose the right norms
.
AAAI/ACM Conference on Artificial Intelligence, Ethics and Society;
2018.
Download PDF
Marc Serramia
,
Maite López-Sánchez
,
Juan A. Rodríguez-Aguilar
,
Michael Wooldridge
,
Javier Morales
,
Carlos Ansótegui
;
Moral Values in Norm Decision Making
.
International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018);
2018.
Download PDF
2017
Carlos Ansótegui
,
María Luisa Bonet
,
Jesús Giráldez-Cru
,
Jordi Levy
;
Structure features for SAT instances classification
.
Journal of Applied Logic;
2017.
Download PDF
2016
Carlos Ansótegui
, Joel Gabàs,
Jordi Levy
;
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
.
Journal of Heuristics;
2016.
Download PDF
2015
Carlos Ansótegui
,
María Luisa Bonet
,
Jesús Giráldez-Cru
,
Jordi Levy
;
On the Classification of Industrial SAT Families
.
Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15;
2015.
Download PDF
Carlos Ansótegui
,
Jesús Giráldez-Cru
,
Jordi Levy
, Laurent Simon;
Using Community Structure to Detect Relevant Learnt Clauses
.
Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15;
2015.
Download PDF
2014
Carlos Ansótegui
,
María Luisa Bonet
,
Jesús Giráldez-Cru
,
Jordi Levy
;
The Fractal Dimension of SAT Formulas
.
Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14;
2014.
Download PDF
2013
Carlos Ansótegui
,
María Luisa Bonet
, Joel Gabàs,
Jordi Levy
;
Improving WPM2 for (Weighted) Partial MaxSAT
.
Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13;
2013.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Resolution Procedures for Multiple-Valued Optimization
.
Information Sciences;
2013.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
SAT-Based MaxSAT Algorithms
.
Artificial Intelligence;
2013.
Download PDF
2012
Carlos Ansótegui
,
Felip Manyà
;
A SAT-Based Approach to MinSAT
.
CCIA 2012;
2012.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Chu Min Li
;
Analysis and Generation of Pseudo-Industrial MaxSAT Instances
.
Proc. of the 15th Int. Conf. of the ACIA, CCIA'12;
2012.
Download PDF
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
.
ISMVL 2012;
2012.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
, Joel Gabàs,
Jordi Levy
;
Improving SAT-Based Weighted MaxSAT Solvers
.
Proc. of the 18th Int. Conf. on Principles and Practice of Constraint Programming, CP'12;
2012.
Download PDF
Carlos Ansótegui
,
Jesús Giráldez-Cru
,
Jordi Levy
;
The Community Structure of SAT Formulas
.
Proc. of the 15th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'12;
2012.
Download PDF
2011
Carlos Ansótegui
, Miquel Bofill,
Felip Manyà
,
Mateu Villaret
;
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic
.
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011;
2011.
Download PDF
Carlos Ansótegui
,
Jordi Levy
;
On the Modularity of Industrial SAT Instances
.
Proc. of the 14th Int. Conf. of the ACIA, CCIA'11;
2011.
Download PDF
2010
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
A New Algorithm for Weighted Partial MaxSAT
.
Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010;
2010.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
On Solving MaxSAT Through SAT
.
Workshop on Pragmatics of SAT, POS-10;
2010.
Download PDF
2009
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
On Solving MaxSAT Through SAT
.
Proc. of the 12th Int. Conf. of the ACIA, CCIA'09;
2009.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
On the Structure of Industrial SAT Instances
.
Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09;
2009.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Solving (Weighted) Partial MaxSAT Through Satisfiability Testing
.
Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09;
2009.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Towards Industrial-Like Random SAT Instances
.
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09;
2009.
Download PDF
2008
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Measuring the Hardness of SAT Instances
.
Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08;
2008.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
;
Random SAT Instances à la Carte
.
Proc. of the 11th Int. Conf. of the ACIA, CCIA'08;
2008.
Download PDF
2007
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
A Complete Resolution Calculus for Signed Max-SAT
.
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07;
2007.
Download PDF
Carlos Ansótegui
,
José Larrubia
,
Chu Min Li
,
Felip Manyà
;
Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers
.
Annals of Mathematics and Artificial Intelligence;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Inference Rules for High-Order Consistency in Weighted CSP
.
Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
Mapping CSP into Many-Valued SAT
.
Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07;
2007.
Download PDF
Carlos Ansótegui
,
María Luisa Bonet
,
Jordi Levy
,
Felip Manyà
;
The Logic Behind Weighted CSP
.
Future and Trends in Constraint Programming;
2007.
Download PDF
1
2
next
last
No results found