swMATH ID: 16738
Software Authors: Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
Description: LMHS: A SAT-IP hybrid maxsat solver. We describe LMHS, an open-source weighted partial maximum satisfiability (MaxSAT) solver. LMHS is a hybrid SAT-IP MaxSAT solver that implements the implicit hitting set approach to MaxSAT. On top of the main algorithm, LMHS offers integrated preprocessing, solution enumeration, an incremental API, and the use of a choice of SAT and IP solvers. We describe the main features of LMHS, and give empirical results on the influence of preprocessing and the choice of the underlying SAT and IP solvers on the performance of LMHS.
Homepage: https://www.cs.helsinki.fi/group/coreo/lmhs/
Related Software: MiniSat; QMaxSAT; Sat4j; Open-WBO; Lingeling; CPLEX; maxino; RC2; MaxHS; Treengeling; Glucose; Plingeling; TETRAD; SCIP; Coprocessor; WPM3; Open-WBO-Inc; CCEHC; CCLS; PySAT
Cited in: 11 Publications

Citations by Year