D. Vandesande, J. Coll, and B. Bogaerts, “Certified Branch-and-Bound MaxSAT Solving”, AAAI, vol. 40, no. 17, pp. 14342–14351, Mar. 2026.