Paper accepted at CPAIOR 2024

I am happy to let you know that our paper “Core Boosting in SAT-Based Multi-Objective Optimization” has been accepted for publication at the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR)conference.

In the paper, we extend the idea of core-boosting that I proposed for single-objective optimization in 2019, to the multi-objective setting. We show that core-boosting significantly improves the performance of several state-of-the-art approaches to computing pareto-optimal solutions to multi-objective optimization problems. The paper is available on my publications page.

I would like to thank all of my co-authors for their work. Looking forward to going to Uppsala in May.