@inproceedings{ DBLP:conf/sat/SangBBKP04,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {SangetalSAT2004.pdf},
  booktitle = {Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004)},
  author = {Tian Sang and Fahiem Bacchus and Paul Beame and Henry A. Kautz and Toniann Pitassi},
  ee = {http://www.satisfiability.org/SAT04/programme/21.pdf},
  year = {2004},
  title = {Combining Component Caching and Clause Learning for Effective Model Counting},
  bibsource = {DBLP http://dblp.uni-trier.de}
}