Speaker The Four-Color Ramsey Multiplicity of Triangles WC266 — Certified Optimization 24 Jul 2024 16:20 — Parallel Session