Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems.
Matthias KöppeYuan ZhouPublished in: ISCO (2016)
Keyphrases
- computer assisted
- cutting plane
- cutting plane algorithm
- computer aided
- integer programming
- lower bound
- mixed integer linear programming
- knapsack problem
- column generation
- integer program
- intraoperative
- automated theorem provers
- mixed integer
- exact penalty
- valid inequalities
- image analysis
- image processing
- dynamic systems
- upper bound
- special case
- sequent calculus
- computer vision