On the satisfiability and maximum satisfiability of random 3-CNF formulas (1996)

by A Z Broder, A M Frieze, E Upfal
Venue:Journal of Algorithms