@inproceedings{KorhonenBSJ:SAT2017, author = {Tuukka Korhonen and Jeremias Berg and Paul Saikko and Matti J\"arvisalo}, title = {{MaxPre}: An Extended {MaxSAT} Preprocessor}, booktitle = {Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017)}, editor = {Serge Gaspers and Toby Walsh}, pages = {449--456}, volume = {10491}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2017}, } 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.