Probabilistic performance of a heuristic for the satisfiability problem. - John Franco; Yuan Chuan Ho (Discret. Appl. Math., 1988)