Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability.

Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo

Browse the full TACAS paper archive.