@inproceedings{ DB_Counting_2008,
  author = {Jessica Davies and Fahiem Bacchus}
}
,
  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}
}
,
  title = {Distributional Importance Sampling for Approximate Weighted Model Counting}
}
,
  year = {2008}
}