Publikation
Titel
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Publikationsart
Tagungsbeitrag
Alle Autoren
Teige, Tino; Fränzle, Martin
Buchtitel
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Erscheinungsdatum
2011
Serie
Lecture Notes in Computer Science
Seiten
158-172
Herausgeber
Parosh Aziz Abdulla and K. Rustan M. Leino
Verlag
Springer
