Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT.

Holger H. Hoos Thomas Stützle Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT. 213-232 1999 112 Artif. Intell. 1-2 db/journals/ai/ai112.html#HoosS99 http://dx.doi.org/10.1016/S0004-3702(99)00048-X