Similar Items: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
- Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
- Arithmetic Independence of Certain Uniform Sets of Algebraic Integers
- An Effective Orchestral Approach to Satisfiability Modulo Prime Fields