TitleExact MinSAT Solving
Publication TypeConference Paper
Year of Publication2010
AuthorsLi CMin, Manyà F, Quan Z, Zhu Z
Conference NameInternational Conference on Theory and Applications of Satisfiability Testing (SAT)
Volume6175
PublisherSpringer
Conference LocationEdinburgh, UK
Pagination363-368
ISBN Number978-3-642-14185-0
KeywordsMax-SAT, Min-SAT