Speaker Certificates of Correctness for Presolving Binary Programs WC266 — Certified Optimization 24 Jul 2024 16:20 — Parallel Session
