νZ - An Optimizing SMT Solver
Abstract elided by the publisher.
Related papers
- Symbolic optimization with SMT solvers POPL 2014
- Solving Floating-Point Constraints with Continuous Optimization PLDI 2025
- Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation OOPSLA 2025
- SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI 2024
- Induction for SMT Solvers VMCAI 2015
- Rocket-Fast Proof Checking for SMT Solvers TACAS 2008
- Algorithmic Verification of Systems Software Using SMT Solvers SAS 2009
- Automating Induction with an SMT Solver VMCAI 2012