A Solver for Reachability Modulo Theories
Abstract elided by the publisher.
Related papers
- DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs PLDI 2015
- Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA 2025
- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories TACAS 2024
- Satisfiability Modulo Finite Fields CAV 2023
- Satisfiability modulo ordering consistency theory for multi-threaded program verification PLDI 2021
- On Optimization Modulo Theories, MaxSMT and Sorting Networks TACAS 2017
- Satisfiability and Synthesis Modulo Oracles VMCAI 2022
- Satisfiability Modulo Extensional Constant Arrays CAV 2026