On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT (1999)

by Holger H. Hoos
Venue:in Proc. AAAI-99
Citations:88 - 21 self