@inproceedings{92416,
  author = {Kuldeep Meel and Moshe Vardi and Supratik Chakraborty and Daniel Fremont and Sanjit Seshia and Dror Fried and Alexander Ivrii and Sharad Malik},
  title = {Constrained sampling and counting: Universal hashing meets sat solving},
  year = {2016},
  journal = {Workshops at the Thirtieth AAAI Conference on Artificial Intelligence},
  language = {eng},
}