Generalized Craig interpolation for stochastic Boolean satisfiability problems
DOI10.1007/978-3-642-19835-9_14zbMATH Open1315.68183OpenAlexW1592721539MaRDI QIDQ3000643FDOQ3000643
Authors: Tino Teige, Martin Fränzle 
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_14
Recommendations
- Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
- Generalized Craig interpolation for stochastic satisfiability modulo theory problems
- Resolution for stochastic Boolean satisfiability
- Interpolation and SAT-based model checking.
- Interpolation Properties and SAT-Based Model Checking
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)
Cites Work
- Resolution for quantified Boolean formulas
- Interpolation and SAT-based model checking.
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Lower bounds for resolution and cutting plane proofs and monotone computations
- Tools and Algorithms for the Construction and Analysis of Systems
- Stochastic Boolean satisfiability
- Contingent planning under uncertainty via stochastic satisfiability
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Games against nature
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
- Generalized Craig interpolation for stochastic Boolean satisfiability problems
- Resolution for stochastic Boolean satisfiability
Cited In (3)
This page was built for publication: Generalized Craig interpolation for stochastic Boolean satisfiability problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000643)
