Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation.
Rainer BacherPublished in: ISSAC (1996)
Keyphrases
- optimization algorithm
- optimization process
- optimization problems
- source code
- optimization procedure
- information systems
- domain specific
- quadratic programming
- automatically generate
- database
- domain ontology
- highly non linear
- efficient optimization
- optimization criteria
- subgradient method
- saddle point
- symbolic description
- discrete optimization
- optimization model
- constrained optimization
- mathematical programming
- optimization method
- case study