The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r.

Daniel Berend, Yochai Twitto

Browse the full SAT paper archive.