@misc{indiciae07107a55bf11,
  title = {Constrained Sampling and Counting: Universal Hashing Meets SAT Solving},
  author = {Kuldeep S. Meel and Moshe Vardi and Supratik Chakraborty and Daniel J. Fremont and Sanjit A. Seshia and Dror Fried and Alexander Ivrii and Sharad Malik},
  year = {2015},
  url = {https://arxiv.org/abs/1512.06633},
  note = {Source identifier: 1512.06633}
}