Typical random 3-SAT formulae and the satisfiability threshold (2000)

by O Dubois, Y Boufkhad, J Mandler
Venue:in: Proc. 11th Symposium on Discrete Algorithms (SODA