Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems

BIB
Teige, Tino and Fränzle, Martin
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
01 / 2011
inproceedings
Springer
Lecture Notes in Computer Science
158-172
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Parosh Aziz Abdulla and K. Rustan M. Leino