Generalized Craig interpolation for stochastic satisfiability modulo theory problems

DOI10.1007/978-3-319-11439-2_16MaRDI QIDQ3447707zbMATH OpenOpenAlexFDO

Authors Ahmed Mohsin Mahdi, Martin Fränzle

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

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07)

Recommendations

• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
• Computer Science Logic
• Efficient Interpolant Generation in Satisfiability Modulo Theories
• Efficient generation of Craig interpolants in satisfiability modulo theories

Cited in

(4)

• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
• Quantifier elimination and Craig interpolation: the quantitative way

This page was built for publication: Generalized Craig interpolation for stochastic satisfiability modulo theory problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3447707)