@misc{indiciae37518f42745b,
  title = {Distribution-Aware Sampling and Weighted Model Counting for SAT},
  author = {Supratik Chakraborty and Daniel J. Fremont and Kuldeep S. Meel and Sanjit A. Seshia and Moshe Y. Vardi},
  year = {2014},
  url = {https://arxiv.org/abs/1404.2984},
  note = {Source identifier: 1404.2984}
}