On the run-time behaviour of stochastic local search algorithms for SAT, in (1999)

by H H Hoos
Venue:Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99