Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability

Cheng-Han Hsieh, Jie-Hong R. Jiang

• Video #1 Length : 00:01:15 on SlidesLive
• Video #2 Length : 00:05:55 on SlidesLive