Antje Beeringer Gerd Aschemann Holger H. Hoos Michael Metzger Andreas Weiss GSAT versus Simulated Annealing. 130-134 1994 ECAI db/conf/ecai/ecai94.html#BeeringerAHMW94