Towards a characterisation of the behaviour of stochastic local search algorithms for SAT (1999)

by Holger H. Hoos, Thomas Stützle
Venue:ARTIFICIAL INTELLIGENCE