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]

Possibly Related Publications

The following publications are possibly variants of this publication: