Keyphrases
- linear programming
- theorem prover
- natural deduction
- linear program
- theorem proving
- inference rules
- higher order logic
- first order logic
- column generation
- feasible solution
- integer programming
- quadratic programming
- optimal solution
- nonlinear programming
- network flow
- objective function
- dynamic programming
- np hard
- data sets
- constraint propagation
- sequent calculus
- cut elimination
- simplex algorithm
- algorithm for linear programming
- formal methods
- primal dual
- neural network
- linear programming problems
- learning algorithm
- machine learning
- data mining