TítuloTransforming Inconsistent Subformulas in MaxSAT Lower Bound Computation
Publication TypeConference Paper
Year of Publication2008
AuthorsLi CMin, Manyà F, Mohamedou NO, Planes J
Conference Name14th International Conference on Principles and Practice of Constraint Programming (CP-2008)
Volume5202
EditorialSpringer
Conference LocationSydney, Australia
Paginación582-587
Resumen

We define a new heuristic that guides the application of cycle resolution (CR) in MaxSAT, and show that it produces better lower bounds than those obtained by applying CR exhaustively as in Max-DPLL, and by applying CR in a limited way when unit propagation detects a contradiction as in MaxSatz.