Understanding random SAT: beyond the clauses-to-variable ratio (2004)

by E Nudelman, K Leyton-Brown, H Hoos, A Devkar, Y Shoham
Venue:In Proc. CP-04