A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations
No abstract available.
Related papers
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows ESOP 2020
- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors TACAS 2013
- Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations CAV 2008
- Quantifier Elimination Meets Treewidth TACAS 2026
- Ramsey Quantifiers in Linear Arithmetics POPL 2024
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024
- Modular verification of linearizability with non-fixed linearization points PLDI 2013