Achlioptas, Dimitris; Naor, Assaf; Peres, Yuval On the maximum satisfiability of random formulas. (English) Zbl 1291.68175 J. ACM 54, No. 2, Article No. 10, 21 p. (2007). Cited in 5 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 60C05 Combinatorial probability PDF BibTeX XML Cite \textit{D. Achlioptas} et al., J. ACM 54, No. 2, Article No. 10, 21 p. (2007; Zbl 1291.68175) Full Text: DOI arXiv