@misc{indiciae719db0c2d074,
  title = {New worst upper bound for \#SAT},
  author = {Junping Zhou and Minghao Yin and Chunguang Zhou},
  year = {2010},
  url = {https://arxiv.org/abs/1006.1537},
  note = {Source identifier: 1006.1537}
}