On the Rank of Cutting-Plane Proof Systems.

Sebastian Pokutta Andreas S. Schulz

Published in: IPCO (2010)

Keyphrases

cutting plane
integer programming
genetic algorithm
learning algorithm
search algorithm
np hard
probabilistic model