TY  - RPRT
TI  - Certified Branch-and-Bound MaxSAT Solving (Extended Version)
AU  - Dieter Vandesande
AU  - Jordi Coll
AU  - Bart Bogaerts
PY  - 2025
UR  - https://arxiv.org/abs/2511.10273
ID  - 2511.10273
ER  -