TítolExact 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
EditorSpringer
Conference LocationEdinburgh, UK
Paginació363-368
ISBN Number978-3-642-14185-0
Paraules clauMax-SAT, Min-SAT