Login / Signup

Random \( \Theta (\log n) \) -CNFs are Hard for Cutting Planes.

Noah FlemingDenis PankratovToniann PitassiRobert Robere
Published in: J. ACM (2022)
Keyphrases