Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.

Tino Teige, Martin Frnzle

Browse the full TACAS paper archive.