TitleA Preprocessor for Max-SAT Solvers
Publication TypeConference Paper
Year of Publication2008
AuthorsArgerlich J., Manyà F
Conference Name11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008)
Volume4996
PublisherSpringer
Conference LocationGuangzhou, China
Pagination15-20
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.