Skip to content

On the Rank of Cutting-Plane Proof Systems.

Sebastian Pokutta, Andreas S. Schulz

VenueBIPCO
Year2010
ProceedingsIPCO

Browse the full IPCO paper archive.