TY  - RPRT
TI  - Solving satisfiability problems by fluctuations: the dynamics of stochastic local search algorithms.
AU  - Wolfgang Barthel
AU  - Alexander K Hartmann
AU  - Martin Weigt
PY  - 2003
DO  - 10.1103/physreve.67.066104
UR  - https://pubmed.ncbi.nlm.nih.gov/16241301/
ID  - 16241301
ER  -