Session 1B - Automating Cutting Planes is NP-Hard

STOC 2020