Multi-objective Maximum Satisfiability by Single-Objective Implicit Hitting Set Optimization.

Christoph Jabs, Jeremias Berg, Matti Jrvisalo

Browse the full CPAIOR paper archive.