LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
No abstract available.
Related papers
- Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking) TACAS 2026
- Ramsey Quantifiers in Linear Arithmetics POPL 2024
- Convex Hull of Arithmetic Automata SAS 2008
- Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition) CAV 2021
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic TACAS 2022
- On the linear ranking problem for integer linear-constraint loops POPL 2013
- Distributed SMT Solving Based on Dynamic Variable-Level Partitioning CAV 2024