Keyphrases
- linear programming
- linear program
- theorem proving
- theorem prover
- optimal solution
- objective function
- image processing
- stochastic programming
- automated theorem proving
- logic programs
- computational complexity
- feasible solution
- video sequences
- constraint propagation
- primal dual
- mixed integer
- lp norm
- algorithm for linear programming