Scuttle: A System for Multi-Objective MaxSAT (Tool Paper).

Christoph Jabs, Jeremias Berg, Matti Jrvisalo

Browse the full SAT paper archive.