@inproceedings{ DBLP:conf/uai/BacchusDP03,
  title = {Value Elimination: Bayesian Inference via Backtracking Search}
}
,
  url = {BDPUAI2003.pdf}
}
,
  booktitle = {Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence August (UAI-2003)}
}
,
  author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi}
}
,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  year = {2003}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {20-28}
}