@misc{indiciae334486ed4e6c, title = {Random CNFs are Hard for Cutting Planes}, author = {Noah Fleming and Denis Pankratov and Toniann Pitassi and Robert Robere}, year = {2017}, url = {https://arxiv.org/abs/1703.02469}, note = {Source identifier: 1703.02469} }