Login / Signup
Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems
Maria Luisa Bonet
Juan Luis Esteban
Nicola Galesi
Jan Johannsen
Published in:
Electron. Colloquium Comput. Complex. (1998)
Keyphrases
</>
cutting plane
complex systems
integer programming
lower bound
mathematical model
greedy algorithm