Publicaciones en las que colabora con MA. ALBA CABISCOL TEIXIDO (5)
2009
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2004
-
The interface between P and NP in signed CNF formulas
Proceedings of The International Symposium on Multiple-Valued Logic
2002
-
Minimal and redundant SAT encodings for the all-interval-series problem
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2001
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)