Carlos Ansótegui | IIIA CSIC

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.

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.

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.

2016

Carlos Ansótegui, Joel Gabàs, Jordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.

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.

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.

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.

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.

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution Procedures for Multiple-Valued Optimization. Information Sciences; 2013.

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; SAT-Based MaxSAT Algorithms. Artificial Intelligence; 2013.

2012

Carlos Ansótegui, Felip Manyà; A SAT-Based Approach to MinSAT. CCIA 2012; 2012.

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.

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.

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.

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.

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.

Carlos Ansótegui, Jordi Levy; On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11; 2011.

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.

Carlos Ansótegui, María Luisa Bonet, Jordi Levy; On Solving MaxSAT Through SAT. Workshop on Pragmatics of SAT, POS-10; 2010.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; The Logic Behind Weighted CSP. Future and Trends in Constraint Programming; 2007.

No results found