npSolver 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 by 2 Authors 1 Philipp, Tobias 1 Steinke, Peter Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year