A. El Maftouhi Wenceslas Fernandez de la Vega On Random 3-sat. 189-195 1995 4 Combinatorics, Probability & Computing db/journals/cpc/cpc4.html#MaftouhiV95