Satisfiability Modulo Theories for Verifying MILP Certificates

Published in Journal of Symbolic Computation, 2025