Session 1B - Automating Cutting Planes is NP-Hard