Paper Accepted in Jelia

I am happy to let you know that our paper Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers has been accepted for publication at the 19th edition of the European Conference on Logics in Artificial Intelligence. In the paper, we report on a cross-community evaluation of different approaches for computing pareto-optimal solutions under 0-1 integer linear inequalities. We also build on out recent TACAS paper in order to show how such solvers can be proof-logged.

I want to thank all of my co-authors, especially my student Christoph Jabs, for their excellent work on the project!