@article{ BDPSharpSatbyBacktracking_JAIR_2009,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {http://dx.doi.org/10.1613/jair.2648},
  journal = {J. Artif. Intell. Res. (JAIR)},
  author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi},
  volume = {34},
  year = {2009},
  title = {Solving #SAT and Bayesian Inference with Backtracking Search},
  pages = {391-442}
}