TY - RPRT TI - Random K-satisfiability problem: from an analytic solution to an efficient algorithm. AU - Marc Mézard AU - Riccardo Zecchina PY - 2002 DO - 10.1103/physreve.66.056126 UR - https://pubmed.ncbi.nlm.nih.gov/12513575/ ID - 12513575 ER -