Distribution-Aware Sampling and Weighted Model Counting for SAT.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Browse the full AAAI paper archive.