TY - RPRT TI - The random K-satisfiability problem: from an analytic solution to an efficient algorithm AU - Marc Mezard AU - Riccardo Zecchina PY - 2002 DO - 10.1103/physreve.66.056126 UR - https://arxiv.org/abs/cond-mat/0207194 ID - cond-mat/0207194 ER -