Paper Accepted in JAIR

I am happy let you know that our paper From Single-Objective to Bi-Objective Maximum Satisfiability Solving has been accepted for publication 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 2022.

In the paper, we present BiOptSAT, a framework for extending single-objective algorithms for Maximum Satisfiability into the bi-objective setting. In bi-objective optimization, we are looking for a set of solutions that–informally speaking–balance two objectives as well as possible. An example of a bi-objective optimization problem that we often use is the problem of buying a house or an apartment that, on the one hand, should be as close to the center of town as possible but, on the other, should be as affordable as possible. As these two goals conflict, there is no clear single “best” solution. Instead, we seek solutions that can not be improved in “an obvious way”. In other words, we are interested only in houses for which all cheaper options are further away or for which all closer options are more expensive. The paper shows how to solve problems like these with declarative, constraint-based methods.

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