MaxPre: An Extended MaxSAT Preprocessor

Abstract We describe MaxPre, an open-source preprocessor for (weighted partial) maximum satisfiability (MaxSAT). MaxPre implements both SAT-based and MaxSAT-specific preprocessing techniques, and offers solution reconstruction, cardinality constraint encoding, and an API for tight integration into SAT-based MaxSAT solvers.

Authors

• Tuukka Korhonen
• Jeremias Berg
• Paul Saikko
• Matti Järvisalo

Keywords

No keywords are indexed for this paper.