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

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