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