×

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