iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/aaai/ChakrabortyFMSV14.xml
Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi Distribution-Aware Sampling and Weighted Model Counting for SAT. 1722-1730 2014 AAAI https://doi.org/10.1609/aaai.v28i1.8990 conf/aaai/2014 db/conf/aaai/aaai2014.html#ChakrabortyFMSV14