Numerical Verification of Second-Order Sufficiency Conditions for Nonlinear Programming.
Terrence K. KellyMichael KupferschmidPublished in: SIAM Rev. (1998)
Keyphrases
- nonlinear programming
- linear programming
- variational inequalities
- optimality conditions
- optimization problems
- inequality constraints
- linear constraints
- equality and inequality constraints
- sensitivity analysis
- equality constraints
- model checking
- semidefinite programming
- higher order
- linear program
- high order
- sufficient conditions
- exact algorithms
- temporal logic
- high dimensional
- np hard