TítuloExploiting 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
EditorialSpringer
Conference LocationSwansea, UK
Paginación467-480