swMATH ID: 13580
Software Authors: Manthey, N., Steinke, P.
Description: npSolver - a SAT based solver for optimization problems. The pseudo-Boolean (PB) solver npSolver encodes PB into SAT and solves the optimization instances by calling a SAT solver iteratively. The system supports MaxSAT, PB and WBO. Optimization instances are tackled by a greedy lower bound mechanism first. The solver can translate PB to SAT based on a portfolio of different encodings, based on the number of clauses. As back end of the system any SAT solver can be used, even incremental solvers for the optimization function. By using glucose as back end and the SAT simplifier Coprocessor, npSolver shows an outstanding performance on decision instances and can compete on optimization instances.
Homepage: http://tools.computational-logic.org/content/npSolver/npSolver.pdf
Related Software: MiniSat; BoolVar/PB; PBLib; NiVER
Cited in: 1 Publication

Cited in 0 Serials

Citations by Year