A Formally Verified Generic Branching Algorithm for Global Optimization.
Anthony NarkawiczCésar A. MuñozPublished in: VSTTE (2013)
Keyphrases
- global optimization
- global solution
- cost function
- optimization algorithm
- global search
- ant colony algorithm
- dynamic programming
- learning algorithm
- global optima
- binary particle swarm optimization
- imperialist competitive algorithm
- search space
- particle swarm optimization
- mathematical model
- constrained global optimization
- matching process
- k means
- search algorithm
- objective function