Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.

Dave A. D. Tompkins, Holger H. Hoos

Browse the full AI paper archive.