Lower bounds for cutting planes proofs with small coefficients (1995)

by María Bonet, Toniann Pitassi, Ran Raz
Venue:In Proceedings of the 27th Annual ACM Symposium on Theory of Computing (STOC ’95