@misc{indiciae254afdd3d1ff,
  title = {Solving satisfiability problems by fluctuations: the dynamics of stochastic local search algorithms.},
  author = {Wolfgang Barthel and Alexander K Hartmann and Martin Weigt},
  year = {2003},
  doi = {10.1103/physreve.67.066104},
  url = {https://pubmed.ncbi.nlm.nih.gov/16241301/},
  note = {Source identifier: 16241301}
}