Similar Items: Reasoning about Strategies: on the Satisfiability Problem
- On Supergraphs Satisfying CMSO Properties
- Reasoning about Data Repetitions with Counter Systems
- Reasoning About Bounds in Weighted Transition Systems
- Satisfiability Games for Branching-Time Logics
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
- The Complexity of Generalized Satisfiability for Linear Temporal Logic