Dimitris Achlioptas, Assaf Naor, Yuval Peres. On the Maximum Satisfiability of Random Formulas. In 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings. pages 362, IEEE Computer Society, 2003. [doi]
Abstract is missing.