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

by E Nudelman, K Leyton-Brown, A Devkar, Y Shoham, H Hoos
Venue:In International Conference on Principles and Practice of Constraint Programming (CP