×

zbMATH — the first resource for mathematics

On the maximum satisfiability of random formulas. (English) Zbl 1291.68175

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
Full Text: DOI arXiv