María Luisa Bonet | IIIA CSIC

Web:

http://www.lsi.upc.edu/~bonet

Position:

Co-Autors

Publications
Projects

24 Publications

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.

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.

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, 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, 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.

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, 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.

María Luisa Bonet, Jordi Levy, Felip Manyà; Resolution for Max-SAT. Artificial Intelligence; 2007.

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

Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà; The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07; 2007.

2006

María Luisa Bonet, Jordi Levy, Felip Manyà; A Complete Calculus for Max-SAT. Lecture Notes in Computer Science; 2006.

2003

Albert Atserias, María Luisa Bonet, Jordi Levy; On Chvátal Rank and Cutting Planes Proofs. Electronic Colloquium on Computational Complexity; 2003.

No results found