TítuloExploiting subproblem optimization in SAT-based MaxSAT algorithms
Publication TypeJournal Article
Year of Publication2016
AuthorsAnsótegui C, Gabàs J, Levy J
JournalJournal of Heuristics
Volume22
Paginación1–53
ISSN1381-1231
URLhttp://dx.doi.org/10.1007/s10732-015-9300-7
DOI10.1007/s10732-015-9300-7