activity
20122026
most citedGeneralized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

4 citations · 22 across the 18 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012★ 4 cited

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

Tino Teige, Martin Fränzle

The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability t…