@inproceedings{ DBLP:conf/focs/BacchusDP03,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {BDPFOCS2004.pdf},
  booktitle = {Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS-2003)},
  author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi},
  pages = {340-351},
  ee = {http://csdl.computer.org/comp/proceedings/focs/2003/2040/00/20400340abs.htm},
  year = {2003},
  title = {Algorithms and Complexity Results for #SAT and Bayesian Inference},
  bibsource = {DBLP http://dblp.uni-trier.de}
}