Certified Branch-and-Bound MaxSAT Solving

Dieter Vandesande; Jordi Coll; Bart Bogaerts

AAAI 2026technical0 citations

Certified Branch-and-Bound MaxSAT Solving

Dieter Vandesande, Jordi Coll, Bart Bogaerts

Abstract

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

BibTeX

@inproceedings{aaai2026_certifiedbrancha,
  title = {Certified Branch-and-Bound MaxSAT Solving},
  author = {Dieter Vandesande and Jordi Coll and Bart Bogaerts},
  booktitle = {AAAI 2026},
  year = {2026}
}