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

by A Broder, A Frieze, E Upfal
Venue:in Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete algorithms, SODA ’93