1 paper
Nian-Ze Lee, Jie-Hong R. Jiang
Stochastic Boolean Satisfiability (SSAT) is a logical formalism to model decision problems with uncertainty, such as Partially Observable Markov Decision Process (POMDP) for verifi…