Improved Exact Solvers for Weighted Max-SAT

Abstract

We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy) which incorporate original data structures and inference rules, and a lower bound of better quality.

DOI: 10.1007/11499107_27

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@inproceedings{Alsinet2005ImprovedES, title={Improved Exact Solvers for Weighted Max-SAT}, author={Teresa Alsinet and Felip Many{\`a} and Jordi Planes}, booktitle={SAT}, year={2005} }