Simulated Annealing: A Proof of Convergence.
Vincent GranvilleMirko KrivánekJean-Paul RassonPublished in: IEEE Trans. Pattern Anal. Mach. Intell. (1994)
Keyphrases
- simulated annealing
- genetic algorithm
- metaheuristic
- global optimum
- simulated annealing algorithm
- particle swarm optimization pso
- solution space
- global convergence
- tabu search
- solution quality
- evolutionary algorithm
- theorem prover
- convergence theorem
- hill climbing
- genetic algorithm ga
- convergence rate
- theorem proving
- real time
- reversible jump mcmc
- combinatorial optimization
- knowledge base
- data mining
- optimization methods
- hybrid algorithm
- fixed point
- database systems
- faster convergence
- stochastic search
- neural network