Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
DOI10.1007/978-3-319-11439-2_16zbMath1448.68308OpenAlexW146360722MaRDI QIDQ3447707
Martin Fränzle, Ahmed Mohsin Mahdi
Publication date: 28 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11439-2_16
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07)
This page was built for publication: Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
