Vandesande, D.; Coll, J.; Bogaerts, B. Certified Branch-and-Bound MaxSAT Solving. AAAI 2026, 40, 14342-14351.