%0 Conference Paper %1 conf/aaai/MeelVCFSFIM16 %A Meel, Kuldeep S. %A Vardi, Moshe Y. %A Chakraborty, Supratik %A Fremont, Daniel J. %A Seshia, Sanjit A. %A Fried, Dror %A Ivrii, Alexander %A Malik, Sharad %B AAAI Workshop: Beyond NP %D 2016 %E Darwiche, Adnan %I AAAI Press %K dblp %T Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. %U http://dblp.uni-trier.de/db/conf/aaai/np2016.html#MeelVCFSFIM16 %V WS-16-05

@inproceedings{conf/aaai/MeelVCFSFIM16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Meel, Kuldeep S. and Vardi, Moshe Y. and Chakraborty, Supratik and Fremont, Daniel J. and Seshia, Sanjit A. and Fried, Dror and Ivrii, Alexander and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2d9e29e5a3d6deeb62c5bf4d1dfab67b9/dblp}, booktitle = {AAAI Workshop: Beyond NP}, crossref = {conf/aaai/2016np}, editor = {Darwiche, Adnan}, ee = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618}, interhash = {ad7cfe241c964e38cafa0af90ed58619}, intrahash = {d9e29e5a3d6deeb62c5bf4d1dfab67b9}, keywords = {dblp}, note = {978-1-57735-759-9}, publisher = {AAAI Press}, series = {AAAI Technical Report}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/aaai/np2016.html#MeelVCFSFIM16}, volume = {WS-16-05}, year = 2016 }