Solving linear optimization over arithmetic constraint formula.
Li ChenYinrun LyuChong WangJingzheng WuChangyou ZhangNasro Min-AllahJamal AlhiyafiYongji WangPublished in: J. Glob. Optim. (2017)
Keyphrases
- linear constraints
- quadratic programming
- quadratic program
- nonlinear programming
- convex quadratic programming
- combinatorial optimization
- discrete optimization
- optimization problems
- optimization algorithm
- constraint problems
- inverse problems in image processing
- finite domain
- optimization method
- semidefinite
- dual variables
- global optimization
- equality constraints
- linear inequalities
- highly non linear
- constrained minimization
- linear programming
- penalty function
- closed form
- set of linear equations
- constraint solvers
- boolean formula
- optimization process
- constrained optimization
- linear systems
- decision variables