A general upper bound for the satisfiability threshold of random r-sat formulae (1997)

by O Dubois, Y Boufkhad
Venue:Journal of Algorithms