TitleExploiting Cycle Structures in Max-SAT
Publication TypeConference Paper
Year of Publication2009
AuthorsLi CMin, Manyà F, Mohamedou NOuld, Planes J
Conference Name12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
Volume5584
PublisherSpringer
Conference LocationSwansea, UK
Pagination467-480