Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. In Adnan Darwiche, editor, Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Volume WS-16-05 of AAAI Workshops, AAAI Press, 2016. [doi]
@inproceedings{MeelVCFSFIM16,
title = {Constrained Sampling and Counting: Universal Hashing Meets SAT Solving},
author = {Kuldeep S. Meel and Moshe Y. Vardi and Supratik Chakraborty and Daniel J. Fremont and Sanjit A. Seshia and Dror Fried and Alexander Ivrii and Sharad Malik},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618},
researchr = {https://researchr.org/publication/MeelVCFSFIM16},
cites = {0},
citedby = {0},
booktitle = {Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016},
editor = {Adnan Darwiche},
volume = {WS-16-05},
series = {AAAI Workshops},
publisher = {AAAI Press},
isbn = {978-1-57735-759-9},
}