Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability-Reference-Cited by-同舟云学术

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

Published:2012-06-26 Issue:2 Volume:8 Page:
ISSN:1860-5974
Container-title:Logical Methods in Computer Science
language:en
Short-container-title:Log.Meth.Comput.Sci.

Author:

Teige Tino,Fränzle Martin

Publisher

Centre pour la Communication Scientifique Directe (CCSD)

Subject

General Computer Science,Theoretical Computer Science

Reference34 articles.

1. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Zhu. Symbolic model checking without BDDs. In Rance Cleaveland, editor,Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99, volume 1579 ofLecture Notes in Computer Science, pages 193-207. Springer, 1999.

2. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

3. Armin Biere, Marijn J. H. Heule, Hans van Maaren, and Toby Walsh, editors.Handbook of Satisfiability, volume 185 ofFrontiers in Artificial Intelligence and Applications. IOS Press, February 2009.

4. Resolution for Quantified Boolean Formulas

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Resolution Proof System for Dependency Stochastic Boolean Satisfiability;Journal of Automated Reasoning;2023-08-03

2. Science of design for societal-scale cyber-physical systems: challenges and opportunities;Cyber-Physical Systems;2019-06-04

3. Craig Interpolation in the Presence of Unreliable Connectives;Logica Universalis;2014-04-02

4. Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems;Lecture Notes in Computer Science;2014