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