Login / Signup
Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems.
Maria Luisa Bonet
Juan Luis Esteban
Nicola Galesi
Jan Johannsen
Published in:
FOCS (1998)
Keyphrases
</>
cutting plane
integer programming
knapsack problem