Solving #SAT and Bayesian Inference with Backtracking Search

15 January 2014

Papers citing "Solving #SAT and Bayesian Inference with Backtracking Search"

4 / 4 papers shown

Title
Context-Specific Independence in Bayesian Networks Craig Boutilier N. Friedman M. Goldszmidt D. Koller 204 823 0 13 Feb 2013
Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space R. Dechter R. Mateescu 80 82 0 11 Jul 2012
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Weighted Graphical Models R. Mateescu R. Dechter TPM 67 7 0 20 Jun 2012
The Good Old Davis-Putnam Procedure Helps Counting Models Elazar Birnbaum E. L. Lozinskii 83 143 0 01 Jun 2011