QMaxSATpb: A Certified MaxSAT Solver. - Dieter Vandesande; Wolf De Wulf; Bart Bogaerts 001 (LPNMR, 2022)

Certified Core-Guided MaxSAT Solving. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Dieter Vandesande (CADE, 2023)

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Tobias Paxian; Dieter Vandesande (CP, 2024)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. - Hannes Ihalainen; Dieter Vandesande; André Schidler; Jeremias Berg; Bart Bogaerts 001; Matti Järvisalo (CoRR, 2025)