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]
Abstract is missing.