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

by A Z Broder, A M Frieze, E Upfal
Venue:In Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms