Publicaciones en las que colabora con MA. ALBA CABISCOL TEIXIDO (1)
2002
-
Minimal and redundant SAT encodings for the all-interval-series problem
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)