Sciweavers

STOC
1996
ACM

Modular Coloring Formulas Are Hard for Cutting Planes Proofs

13 years 9 months ago
Modular Coloring Formulas Are Hard for Cutting Planes Proofs
Xudong Fu
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1996
Where STOC
Authors Xudong Fu
Comments (0)