Login / Signup

Automating cutting planes is NP-hard.

Mika GöösSajin KorothIan MertzToniann Pitassi
Published in: STOC (2020)
Keyphrases