@misc{indiciae334219b32d70,
  title = {Closing the Gap Between Short and Long XORs for Model Counting},
  author = {Shengjia Zhao and Sorathan Chaturapruek and Ashish Sabharwal and Stefano Ermon},
  year = {2016},
  url = {https://arxiv.org/abs/1512.08863},
  note = {Source identifier: 1512.08863}
}