Solving #SAT and Bayesian Inference with Backtracking Search.
Fahiem BacchusShannon DalmaoToniann PitassiPublished in: CoRR (2014)
Keyphrases
- bayesian inference
- backtracking search
- backtracking algorithm
- constraint satisfaction problems
- sat problem
- search algorithm
- probabilistic model
- prior information
- constraint networks
- sat instances
- search tree
- particle filter
- weighted model counting
- sat solvers
- constraint satisfaction
- np complete
- hidden variables
- max sat