Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability

Open in new window