@misc{indiciaefc3949d3823b,
  title = {Exploiting Independent Subformulas: A Faster Approximation Scheme for \#k-SAT},
  author = {Manuel Schmitt and Rolf Wanka},
  year = {2014},
  doi = {10.1016/j.ipl.2013.02.013},
  url = {https://arxiv.org/abs/1302.6900},
  note = {Source identifier: 1302.6900}
}