Automating cutting planes is NP-hard.

Mika Gs, Sajin Koroth, Ian Mertz, Toniann Pitassi

Browse the full STOC paper archive.