@article{ BDPSharpSatbyBacktracking_JAIR_2009,
  title = {Solving #SAT and Bayesian Inference with Backtracking Search}
}
,
  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}
}
,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  year = {2009}
}
,
  pages = {391-442}
}