The MathSAT 4SMT Solver
Abstract elided by the publisher.
Related papers
- Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions CPP 2026
- Safe Decomposition of Startup Requirements: Verification and Synthesis TACAS 2020
- Induction for SMT Solvers VMCAI 2015
- Synthesizing Programs with Constraint Solvers CAV 2012
- Rocket-Fast Proof Checking for SMT Solvers TACAS 2008
- Multi-solver Support in Symbolic Execution CAV 2013
- Algorithmic Verification of Systems Software Using SMT Solvers SAS 2009
- Automating Induction with an SMT Solver VMCAI 2012