Cheng-Han Hsieh

Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability

Statistical inference is a powerful technique in various applications. Although many statistical inference tools are available, answering inference queries involving complex quantification structures remains challenging. Recently, solvers for Stochastic Boolean Satisfiability (SSAT), a powerful form…