| Títol | Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Li CMin [1], Manyà F [2], Mohamedou NO [3], Planes J [4] |
| Conference Name | 14th International Conference on Principles and Practice of Constraint Programming (CP-2008) |
| Volume | 5202 |
| Editor | Springer |
| Conference Location | Sydney, Australia |
| Paginació | 582-587 |
| Resum | 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. |
