On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT.

Holger H. Hoos

Browse the full AAAI paper archive.