Solving #SAT and Bayesian Inference with Backtracking Search.
Fahiem BacchusShannon DalmaoToniann PitassiPublished in: J. Artif. Intell. Res. (2009)
Keyphrases
- bayesian inference
- backtracking search
- backtracking algorithm
- constraint satisfaction problems
- search algorithm
- sat problem
- probabilistic model
- prior information
- np complete problems
- search tree
- weighted model counting
- constraint networks
- hidden variables
- particle filter
- satisfiability problem
- path consistency
- stochastic local search
- constraint propagation
- sat instances
- constraint satisfaction
- heuristic search
- max sat
- expectation propagation
- np complete
- constraint graph
- prior knowledge
- image segmentation