Average case results for satisfiability algorithms under the random clause model (1997)

by John Franco, R P Swaminathan
Venue:Annals of Mathematics and Artificial Intelligence