Efficient Local Search for Nonlinear Real Arithmetic
Abstract elided by the publisher.
Related papers
- Local Search for Solving Satisfiability of Polynomial Formulas CAV 2023
- A Nonlinear Real Arithmetic Fragment CAV 2014
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Towards Verifying Nonlinear Integer Arithmetic CAV 2017
- 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
- Local Search for SMT on Linear Integer Arithmetic CAV 2022