Ordered Objectives in Maximum Satisfiability.

Jeremias Berg, Andr Schidler, Matti Jrvisalo

Browse the full AAAI paper archive.