| 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. |
