Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving.
Andrea Callia D'IddioMichael HuthPublished in: CoRR (2017)
Keyphrases
- discrete optimization
- combinatorial optimization
- optimization algorithm
- global optimization
- nonlinear programming
- highly non linear
- optimization problems
- quadratic programming
- database
- bi level
- optimization method
- global optimization problems
- quadratic program
- metaheuristic
- knowledge base
- genetic algorithm
- data mining