Publications

A Preprocessor for Max-SAT Solvers

Publication Type:

Conference Paper

Authors:

J. Argerlich; Felip Manyà

Source:

11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008), Springer, Volume 4996, Guangzhou, China, p.15-20 (2008)

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.

»