TítuloRegular-SAT: A Many-Valued Approach to Solving Combinatorial Problems
Publication TypeJournal Article
Year of Publication2007
AuthorsBejar R, Manyà F, Cabiscol A, Fernandez C, Gomes C
JournalDiscrete Applied Mathematics
Volume155
Número12
Paginación1613-1626