Generalized Craig interpolation for stochastic Boolean satisfiability problems

DOI10.1007/978-3-642-19835-9_14MaRDI QIDQ3000643zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cites work

• A Computing Procedure for Quantification Theory
• A Machine-Oriented Logic Based on the Resolution Principle
• A machine program for theorem-proving
• Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
• Contingent planning under uncertainty via stochastic satisfiability
• Games against nature
• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Interpolation and SAT-based model checking.
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Lower bounds for resolution and cutting plane proofs and monotone computations
• Resolution for quantified Boolean formulas
• Resolution for stochastic Boolean satisfiability
• Stochastic Boolean satisfiability
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
• Resolution for stochastic Boolean satisfiability
• Generalized Craig interpolation for stochastic Boolean satisfiability problems
• Generalized Craig interpolation for stochastic satisfiability modulo theory problems
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability

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)