MA. ALBA
CABISCOL TEIXIDO
TU
Instituto de Investigación en Inteligencia Artificial
Cerdanyola del Vallès, EspañaPublicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (5)
2012
-
Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT
Journal of Multiple-Valued Logic and Soft Computing
2010
-
New insights into encodings from MaxCSP into partial MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2009
-
Regular encodings from Max-CSP into partial Max-SAT
Proceedings of The International Symposium on Multiple-Valued Logic
-
Sequential encodings from Max-CSP into partial Max-SAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626