Certified Branch-and-Bound MaxSAT Solving (Extended Version)

Dieter Vandesande, Jordi Coll, Bart Bogaerts

Over the past few decades, combinatorial solvers have seen remarkable performance improvements, enabling their practical use in real-world applications. In some of these applicatio…