Lower Bounds for Monotone Real Circuit Depth and Formula Size and Tree-Like Cutting Planes.
Jan JohannsenPublished in: Inf. Process. Lett. (1998)
Keyphrases
- cutting plane
- lower bound
- upper bound
- cutting plane algorithm
- branch and bound
- branch and bound algorithm
- integer programming problems
- integer programming
- linear programming relaxation
- objective function
- column generation
- integer program
- tree search
- worst case
- np hard
- index structure
- knapsack problem
- max sat
- constraint programming
- valid inequalities
- special case
- dantzig wolfe decomposition