Theoretical comp.asp.simul.annealing by Laarhoven