DPLL with Caching: A new algorithm for #SAT and Bayesian Inference
Fahiem BacchusShannon DalmaoToniann PitassiPublished in: Electron. Colloquium Comput. Complex. (2003)
Keyphrases
- bayesian inference
- probabilistic model
- prior information
- computational complexity
- k means
- dynamic programming
- learning algorithm
- propositional satisfiability
- machine learning
- optimal solution
- graphical models
- expectation maximization
- em algorithm
- np complete
- first order logic
- closed form
- search space
- lower bound
- randomly generated