Exponential bounds for the random walk algorithm on random planted 3-SAT

Yuren Zhou. Exponential bounds for the random walk algorithm on random planted 3-SAT. Science in China Series F: Information Sciences, 56(9):1-13, 2013. [doi]

Abstract

Abstract is missing.