Lifted Message Passing for Satisfiability.
Fabian HadijiKristian KerstingBabak AhmadiPublished in: Statistical Relational Artificial Intelligence (2010)
Keyphrases
- message passing
- probabilistic inference
- belief propagation
- shared memory
- graphical models
- distributed systems
- factor graphs
- sum product algorithm
- inference in graphical models
- approximate inference
- np complete
- markov random field
- distributed shared memory
- computational complexity
- pairwise
- probabilistic reasoning
- loopy belief propagation
- bayesian networks
- high quality