Scuttle & BiOptSAT

Multi-Objective MaxSAT

Scuttle and BiOptSAT are two solvers for multiobjective MaxSAT developed in out group. Both solvers compute the so-called pareto-optimal solutions of multiopbjective MaxSAT isntances. BiOptSAT is an efficient implementation of the so-called lexicographic method for bi-objective problems, first proposed for MaxSAT by our group. Scuttle implements a number of other algorithms first proposed by other groups, including the so called P-minimal algorithm, and a lower-bounding core-guided algorithm.

Both solvers have been mainly developed by my PhD student Christoph Jabs who wrote his M.Sc. thesis on BiOptSAT.