Login / Signup
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability.
Tino Teige
Martin Fränzle
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
satisfiability problem
state space
davis putnam logemann loveland
phase transition
search algorithm
temporal logic
bayesian networks
scheduling problem
np complete
sat problem
knowledge base
boolean functions
stochastic local search algorithms
mazurkiewicz traces