A Rank Lower Bound for Cutting Planes Proofs of Ramsey’s Theorem | Publicación