Cited in
(24)- Using Taylor models in exact real arithmetic
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Incomplete SMT techniques for solving non-linear formulas over the integers
- CoCoALib
- libpoly
- GiNaCRA
- MathSAT5
- CArL
- TopDeg
- SMT-RAT
- EFSMT
- GPU-PRISM
- GPUexplore
- Theoryguru
- XSat
- CylindricalAlgebraicDecompose
- raSAT: an SMT solver for polynomial constraints
- raSAT: An SMT Solver for Polynomial Constraints
- Zephyrus2
- Modular strategic SMT solving with \textbf{SMT-RAT}
- CrystalBall
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
This page was built for software: raSAT
