TitleRegular-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
Number12
Pagination1613-1626