@misc{indiciae62f99d9d8096,
  title = {Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm},
  author = {Minghao Yin and Ping Huang},
  year = {2011},
  url = {https://arxiv.org/abs/1102.4922},
  note = {Source identifier: 1102.4922}
}