A Preprocessor for Max-SAT Solvers.

Josep Argelich, Chu Min Li, Felip Many

Browse the full SAT paper archive.