TY  - RPRT
TI  - Automating Cutting Planes is NP-Hard}
AU  - Mika Göös
AU  - Sajin Koroth
AU  - Ian Mertz
AU  - Toniann Pitassi
PY  - 2020
UR  - https://arxiv.org/abs/2004.08037
ID  - 2004.08037
ER  -