Analysis of simple heuristics for random instances of 3-SAT (1993)

by A M Frieze, S Suen