On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.

Dave A. D. Tompkins, Holger H. Hoos

Browse the full AI paper archive.