Keyphrases
- semi automatic
- optimization problems
- optimization algorithm
- theorem proving
- global optimization
- fully automatic
- discrete optimization
- optimization process
- data driven
- multi objective
- artificial neural networks
- optimization method
- case study
- optimization methods
- decision trees
- neural network
- joint optimization
- database