A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem

Massimo Lauria. A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem. TOCT, 8(4):17, 2016. [doi]

Abstract

Abstract is missing.