Solving Generalized Optimization Problems Subject to SMT Constraints.
Feifei MaJun YanJian ZhangPublished in: FAW-AAIM (2012)
Keyphrases
- optimization problems
- constrained problems
- nonlinear optimization problems
- linear programming problems
- combinatorial optimization
- evolutionary algorithm
- cost function
- nonlinear programming
- optimization criteria
- traveling salesman problem
- continuous optimization problems
- metaheuristic
- equality constraints
- reducing the search space
- linear constraints
- convex optimization problems
- optimization methods
- constraint problems
- eigenvalue problems
- constrained optimization
- soft constraints
- constraint programming
- constraint satisfaction
- dynamic constraint satisfaction problems