Login / Signup

On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems.

Maria Luisa BonetJuan Luis EstebanNicola GalesiJan Johannsen
Published in: SIAM J. Comput. (2000)
Keyphrases
  • cutting plane
  • bayesian networks
  • computational complexity
  • column generation
  • search algorithm
  • special case
  • integer programming
  • cutting plane algorithm
  • multistage stochastic