MA. ALBA
CABISCOL TEIXIDO
TU
Cornell University
Ithaca, Estados UnidosPublicaciones en colaboración con investigadores/as de Cornell University (3)
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2001
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending the reach of SAT with many-valued logics
Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407