Message passing for quantified Boolean formulas
Pan ZhangAbolfazl RamezanpourLenka ZdeborováRiccardo ZecchinaPublished in: CoRR (2012)
Keyphrases
- message passing
- quantified boolean formulas
- belief propagation
- decision procedures
- distributed systems
- probabilistic inference
- reasoning tasks
- inference in graphical models
- markov random field
- sum product algorithm
- sum product
- graphical models
- propositional satisfiability
- optimal solution
- post processing
- boolean formula