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: RC2; MiniSat; Coprocessor; LMHS; iProver Cited in: 2 Publications 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 Cited by 4 Authors 1 Berg, Jeremias 1 Cao, Henrik 1 Ihalainen, Hannes 1 Järvisalo, Matti Cited in 0 Serials Cited in 1 Field 2 Computer science (68-XX) Citations by Year