Co-author An SMT-based checker for VIPR certificates of MILP results WC266 — Certified Optimization 24 Jul 2024 16:20 — Parallel Session
