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

by Holger H. Hoos
Citations:89 - 21 self