Similar Items: On Supergraphs Satisfying CMSO Properties
- Satisfiability Games for Branching-Time Logics
- Reasoning about Strategies: on the Satisfiability Problem
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- On the Satisfiability of Local First-Order Logics with Data
- Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic