An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
No abstract available.
Related papers
- Strided Difference Bound Matrices CAV 2024
- Integer Reasoning Modulo Different Constants in SMT CAV 2025
- Compact Difference Bound Matrices APLAS 2017
- Exploiting Sparsity in Difference-Bound Matrices SAS 2016
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012
- Bounded Sort Polymorphism with Elimination Constraints POPL 2026
- Dis/Equality Graphs POPL 2025