Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. - Eugene Nudelman; Kevin Leyton-Brown; Holger H. Hoos; Alex Devkar; Yoav Shoham (CP, 2004)