×

zbMATH — the first resource for mathematics

Linear upper bounds for random walk on small density random 3-CNFs. (English) Zbl 1124.68041

MSC:
68Q25 Analysis of algorithms and problem complexity
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68W20 Randomized algorithms
68W40 Analysis of algorithms
Software:
Walksat
PDF BibTeX XML Cite
Full Text: DOI