Paper Accepted in JAIR

I am happy let you know that our paper Unifying SAT-Based Approaches to 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 IJCAI paper from 2023.

In the paper, we present UniMaxSAT, a framework for unifying many of the state-of-the-art algorithms for MaxSAT. The contribution is mostly theoretical in showing how most such algorithms can be described in the language of abstract cores, allowing for generic proofs of correctness. We also show how the framework can be used for proving the correctness of entirely new algorithms.

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