Title | Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Li CMin, Manyà F, Mohamedou NO, Planes J |
Conference Name | 14th International Conference on Principles and Practice of Constraint Programming (CP-2008) |
Volume | 5202 |
Publisher | Springer |
Conference Location | Sydney, Australia |
Pagination | 582-587 |
Abstract | 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. |