I am pleased to announce the acceptance of two new papers at the CADE and IJCAI. The CADE paper is titled Certified Core-Guided MaxSAT Solving and written together with
Bart Bogaerts, Jakob Nordström, Andy Oertel and Dieter Vandesande from Vrije Universiteit Brussel, University of Copenhagen and Lund University. It presents the first approach to proof logging core-guided MaxSAT solving, thus increasing the certainty of the correctness of the results computed by MaxSAT solvers.
The IJCAI paper is titled Unifying Core-Guided and Implicit Hitting Set based Optimization and written together with Hannes Ihalainen, and Matti Järvisalo from the University of Helsinki. It presents an abstract framework that aims to unify core-guided and IHS-based MaxSAT solving.
I’d be happy to discuss either paper in more detail with anyone who is interested. Once the camera ready versions are published I will upload a version to these pages as well.
My sincerest gratitude goes to all of my co-authors, it has been a pleasure working with all of you.