TY  - RPRT
TI  - Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
AU  - Tino Teige
AU  - Martin Fränzle
PY  - 2012
DO  - 10.2168/lmcs-8(2:16)2012
UR  - https://arxiv.org/abs/1206.4444
ID  - 1206.4444
ER  -