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

DOI10.2168/LMCS-8(2:16)2012zbMath1242.68191arXiv1206.4444OpenAlexW2007138421MaRDI QIDQ2895477

Tino Teige, Martin Fränzle

Publication date: 3 July 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.4444

zbMATH Keywords

Craig interpolationprobabilistic region stabilityprobabilistic state reachabilitystochastic Boolean satisfiability

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

A resolution proof system for dependency stochastic Boolean satisfiability ⋮ Craig interpolation in the presence of unreliable connectives

Uses Software

• Unnamed Item

This page was built for publication: Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability