MaxPre swMATH ID: 21952 Software Authors: Korhonen, Tuukka; Berg, Jeremias; Saikko, Paul; Järvisalo, Matti Description: Maxpre: an extended maxsat preprocessor. 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. Homepage: https://www.cs.helsinki.fi/group/coreo/maxpre/ Related Software: MiniSat; Coprocessor; LMHS; iProver Referenced in: 1 Publication Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Maxpre: an extended maxsat preprocessor Korhonen, Tuukka; Berg, Jeremias; Saikko, Paul; Järvisalo, Matti 2017 Referenced by 1 Author 1 Cao, Henrik Referenced in 0 Serials Referenced in 1 Field 1 Computer science (68-XX) Referencing Publications by Year