TY  - RPRT
TI  - Distribution-Aware Sampling and Weighted Model Counting for SAT
AU  - Supratik Chakraborty
AU  - Daniel J. Fremont
AU  - Kuldeep S. Meel
AU  - Sanjit A. Seshia
AU  - Moshe Y. Vardi
PY  - 2014
UR  - https://arxiv.org/abs/1404.2984
ID  - 1404.2984
ER  -