@misc{indiciaea4786bcbac44,
  title = {From one solution of a 3-satisfiability formula to a solution cluster: Frozen variables and entropy},
  author = {Kang Li and Hui Ma and Haijun Zhou},
  year = {2009},
  doi = {10.1103/physreve.79.031102},
  url = {https://arxiv.org/abs/0809.4332},
  note = {Source identifier: 0809.4332}
}