TY  - RPRT
TI  - Analytic and algorithmic solution of random satisfiability problems.
AU  - M Mézard
AU  - G Parisi
AU  - R Zecchina
PY  - 2002
DO  - 10.1126/science.1073287
UR  - https://pubmed.ncbi.nlm.nih.gov/12089451/
ID  - 12089451
ER  -