A Preprocessor for Max-SAT Solvers

Abstract We describe a preprocessor that incorporates a variable saturation procedure for Max-SAT, and provide empirical evidence that it improves the performance of some of the most successful state-of-the-art solvers on several partial (weighted) Max-SAT instances of the 2007 Max-SAT Evaluation.

Authors

• Josep Argelich
• Chu-Min Li 0001
• Felip Manyà

Keywords

No keywords are indexed for this paper.