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

by O Dubois, Y Boufkhad
Venue:J. Algorithms