Paper Accepted in TACAS

I am happy to let you know that our paper Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability has been accepted for publication at the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. We show how the pseudo-Boolean proof-logging system VeriPB can be used to log the Pareto-optimal solutions of multi-objective problems without any extensions to the proof system itself. This significantly increases the applicability of the system. Once the paper is formally published (in May), I will add a link to it from here.

I want to thank all of my co-authors for their excellent work on the project!