BacchusDP09'

BibTeX

@article{DBLP:journals/jair/BacchusDP09,
  author    = {Fahiem Bacchus and
               Shannon Dalmao and
               Toniann Pitassi},
  title     = {Solving \#SAT and Bayesian Inference with Backtracking Search},
  journal   = {J. Artif. Intell. Res. (JAIR)},
  volume    = {34},
  year      = {2009},
  pages     = {391-442},
  ee        = {http://jair.org/papers/paper2648.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}