Massimo Lauria. A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem. TOCT, 8(4):17, 2016. [doi]
@article{Lauria16, title = {A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem}, author = {Massimo Lauria}, year = {2016}, doi = {10.1145/2903266}, url = {http://doi.acm.org/10.1145/2903266}, researchr = {https://researchr.org/publication/Lauria16}, cites = {0}, citedby = {0}, journal = {TOCT}, volume = {8}, number = {4}, pages = {17}, }