TitleEfficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
Publication TypeJournal Article
Year of Publication2012
AuthorsArgerlich J., Cabiscol A, Lynce I, Manyà F
JournalMultiple-Valued Logic and Soft Computing
Volume19
Pagination3-23