Carlos Ansótegui (18 publications)
2012
"A SAT-Based Approach to MinSAT",
CCIA 2012, pp. 185-189, 2012.
"Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers",
ISMVL 2012, 2012.
2011
"Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic",
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 , Tuusula, Finland, pp. 230-235, 2011.
2010
"A New Algorithm for Weighted Partial MaxSAT",
Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, 2010.
Abstract
2009
"Towards Industrial-Like Random SAT Instances",
Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09, Pasadena, California, AAAI Press, pp. 387-392, 14/07/2009.
Abstract
"On the Structure of Industrial SAT Instances",
Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. Lecture Notes in Computer Science, vol. 5732, Lisbon, Portugal, Springer, pp. 127-141, 2009.
Abstract
"Solving (Weighted) Partial MaxSAT Through Satisfiability Testing",
Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09. Lecture Notes in Computer Science, vol. 5584: Springer-Verlag, pp. 427-440, 2009.
Abstract
2008
"Measuring the Hardness of SAT Instances",
Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08, Chicago, USA, AAAI Press, pp. 222-228, 2008.
Abstract
2007
"A Complete Resolution Calculus for Signed Max-SAT",
Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07, pp. 22, 2007.
Abstract
"Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers",
Annals of Mathematics and Artificial Intelligence, vol. 49, no. 1-4, pp. 191-205, 2007.
"Inference Rules for High-Order Consistency in Weighted CSP",
Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07, Vancouver, Canada, AAAI Press, pp. 167-172, 2007.
Abstract
"Mapping CSP into Many-Valued SAT",
Lecture Notes in Computer Science, vol. 4501: Springer, pp. 10-15, 2007.
Abstract
"The Logic Behind Weighted CSP",
Future and Trends in Constraint Programming: ISTE, pp. 307-320, 2007.
"The Logic behind Weighted CSP",
Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07: AAAI Press, pp. 32-37, 2007.
Abstract
2006
"Boosting Open CSPs",
Lecture Notes in Computer Science, vol. 4204: Springer, pp. 314-328, 2006.
"Disco – Novo – GoGo: Integrating Local Search and Complete Search with Restarts",
Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006.: AAAI, pp. 1051-1056, 2006.
Abstract
"The impact of balancing on problem hardness in a highly structured domain",
Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006.: AAAI, pp. 10-15, 2006.
Abstract
2005
"Mapping many-valued CNF Formulas to Boolean CNF Formulas",
Proc. 35th Intern. Symposium on Multiple-Valued logics ISMVL: IEEE, pp. 290 - 295, 2005.
Abstract