Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.

Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham

Browse the full CP paper archive.