Solving Nonlinear Integer Arithmetic with MCSAT
No abstract available.
Related papers
- Decision Heuristics in MCSat CAV 2025
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Towards Verifying Nonlinear Integer Arithmetic CAV 2017
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions CPP 2026
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024
- A Nonlinear Real Arithmetic Fragment CAV 2014