MA. ALBA
CABISCOL TEIXIDO
TU
![Foto de MA. ALBA](/img/nophoto.png)
![Foto de Cornell University](/img/noimage_org.png)
Cornell University
Ithaca, Estados UnidosPublikationen in Zusammenarbeit mit Forschern von 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