Evidence for a satis ability threshold for random 3CNF formulas (1992)

by T Larrabee, Y Tsuji
Venue:Okushi / Lemmas and Cuts 25