V. Granville;J. P. Rasson
-;-
Simulated Annealing: A Proof of Convergence
IEEE Transactions on Pattern Analysis and Machine Intelligence