Simulated annealing : theory and applications / - Laarhoven, P. J. M. van (D. Reidel ;, 1987)