Upper and Lower Bounds for Tree-Like Cutting Planes Proofs
Russell ImpagliazzoToniann PitassiAlasdair UrquhartPublished in: LICS (1994)
Keyphrases
- upper and lower bounds
- cutting plane
- lower bound
- upper bound
- lower and upper bounds
- integer programming problems
- valid inequalities
- tree search
- integer programming
- branch and bound
- optimal solution
- knapsack problem
- linear programming relaxation
- column generation
- sample complexity
- integer program
- objective function
- mixed integer
- constraint satisfaction problems
- simulated annealing
- worst case
- search space
- support vector