On the maximum satisfiability of random formulas

Dimitris Achlioptas, Assaf Naor, Yuval Peres. On the maximum satisfiability of random formulas. Journal of the ACM, 54(2):10, 2007. [doi]

Abstract

Abstract is missing.