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

Downloads: 0