Chakraborty, S.; Fremont, D.; Meel, K.; Seshia, S.; Vardi, M. Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI 2014, 28.