Certified Branch-and-Bound MaxSAT Solving.

Dieter Vandesande, Jordi Coll, Bart Bogaerts

Browse the full AAAI paper archive.