@inproceedings{ DB_Counting_2008,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {Davies-Counting08.pdf},
  booktitle = {Workshop on Counting Problems in CSP and SAT, and other neighbouring problems},
  author = {Jessica Davies and Fahiem Bacchus},
  year = {2008},
  title = {Distributional Importance Sampling for Approximate Weighted Model Counting}
}