S. Chakraborty, D. Fremont, K. Meel, S. Seshia, and M. Vardi, “Distribution-Aware Sampling and Weighted Model Counting for SAT”, AAAI, vol. 28, no. 1, Jun. 2014.