Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
No abstract available.
Related papers
- Satisfiability Modulo Extensional Constant Arrays CAV 2026
- Satisfiability Modulo Finite Fields CAV 2023
- A Simplifier Based on Efficient Decision Algorithms POPL 1978
- Implementing Bit-addressing with Specialization ICFP 1997
- Proofs in conflict-driven theory combination CPP 2018
- Simplification by Cooperating Decision Procedures TOPLAS 1979
- Decision procedures for algebraic data types with abstractions POPL 2010
- Syntax-Guided Quantifier Instantiation TACAS 2021