A Nonlinear Real Arithmetic Fragment
Abstract elided by the publisher.
Related papers
- Efficient Local Search for Nonlinear Real Arithmetic VMCAI 2024
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions CPP 2026
- Solving Nonlinear Integer Arithmetic with MCSAT VMCAI 2017
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Towards Verifying Nonlinear Integer Arithmetic CAV 2017
- Towards a Compiler for Reals TOPLAS 2017