TY - RPRT TI - Exponentially hard problems are sometimes polynomial, a large deviation analysis of search algorithms for the random Satisfiability problem, and its application to stop-and-restart resolutions AU - S. Cocco AU - R. Monasson PY - 2002 DO - 10.1103/physreve.66.037101 UR - https://arxiv.org/abs/cond-mat/0203012 ID - cond-mat/0203012 ER -