1. J. Frank. Learning Short-term Clause Weights for GSAT. In Proc. IJCAI-97, pp. 384–389, Morgan Kaufmann Publishers, 1997.
2. H. H. Hoos. Stochastic Local Search — Methods, Models, Applications, PhD thesis, Darmstadt University of Technology, 1998.
3. H. H. Hoos. On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT. In Proc. AAAI-99, pp. 661–666. AAAI Press, 1999.
4. H.H. Hoos. An Adaptive Noise Mechanism for WalkSAT. To appear in Proc.AAAI-02, AAAI Press, 2002.
5. H. H. Hoos and T. Stützle. Local Search Algorithms for SAT: An Empirical Evaluation. In J. of Automated Reasoning, Vol. 24, No. 4, pp. 421–481, 2000.