Equivalence of conservative, free, linear program schemas is decidable.
Michael R. LaurenceSebastian DanicicMark HarmanRobert M. HieronsJohn HowroydPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- linear program
- linear programming
- datalog programs
- semi infinite
- optimal solution
- simplex method
- np hard
- approximate dynamic programming
- column generation
- primal dual
- stochastic programming
- query containment
- mixed integer
- interior point methods
- data integration
- integer program
- linear programming problems
- multistage stochastic
- objective function
- dynamic programming
- query answering
- mixed integer linear program
- nonlinear programming
- lagrange multipliers
- optimization methods
- machine learning