@misc{indiciae354ed917ddc8,
  title = {An Approximation Algorithm for \#k-SAT},
  author = {Marc Thurley},
  year = {2011},
  url = {https://arxiv.org/abs/1107.2001},
  note = {Source identifier: 1107.2001}
}