2026
Certified Branch-and-Bound MaxSAT Solving
AAAI 2026technical
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