Y.: Understanding random SAT: Beyond the clauses-to-variables ratio (2004)

by E Nudelman, K Leyton-Brown, H Hoos, A Devkar, Shoham
Venue:In Proc. of CP’04. Volume 3258 of LNCS., Springer-Verlag