Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability.

Cheng-Han Hsieh, Jie-Hong R. Jiang

Browse the full IJCAI paper archive.