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

by A Broder, A Frieze, E Upfal
Venue:In Proc., 4th SODA