Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation

Publication Type:

Conference Paper

Authors:

Chu Min Li [1]; Felip Manyà [2]; Nouredine Ould Mohamedou [3]; Jordi Planes [4]

Source:

14th International Conference on Principles and Practice of Constraint Programming (CP-2008), Springer, Volume 5202, Sydney, Australia, p.582-587 (2008)

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.

Projects: 
AT [8]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/transforming-inconsistent-subformulas-maxsat-lower-bound-computation

Links:
[1] http://www.iiia.csic.es/en/individual/chu-min-li
[2] http://www.iiia.csic.es/en/individual/felip-manya
[3] http://www.iiia.csic.es/en/node/3437
[4] http://www.iiia.csic.es/en/individual/jordi-planes
[5] http://www.iiia.csic.es/en/publications/export/tagged/3300
[6] http://www.iiia.csic.es/en/publications/export/xml/3300
[7] http://www.iiia.csic.es/en/publications/export/bib/3300
[8] http://www.iiia.csic.es/en/project/at