Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi. Distribution-Aware Sampling and Weighted Model Counting for SAT. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 1722-1730, AAAI Press, 2014. [doi]
@inproceedings{ChakrabortyFMSV14,
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 = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8364},
researchr = {https://researchr.org/publication/ChakrabortyFMSV14},
cites = {0},
citedby = {0},
pages = {1722-1730},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada},
editor = {Carla E. Brodley and Peter Stone},
publisher = {AAAI Press},
isbn = {978-1-57735-661-5},
}