Paper Accepted in JAIR

I am happy to let you know that our paper From Single-Objective to Bi-Objective Maximum Satisfiability Solving has been published in the Journal of Artificial Intelligence Research, one of the most prestigious journals in my field. The paper is an extension of our SAT paper from a few years ago. We present an algorithmic framework called BiOptSAT for computing Pareto-optimal solutions to bi-objective optimization problems with propositional logic as the underlying constraint language. The framework can be instantiated with many different single-objective optimization algorithms. We also demonstrate the competitiveness of BiOptSAT on standard benchmarks.

I would like to thank all of my co-authors on the project for their great work!