swMATH15206MaRDI QIDQ27097FDOQ27097
Author name not available (Why is that?)
Official website: http://www.jaist.ac.jp/~mizuhito/tools/rasat.html
Cited In (24)
- Zephyrus2
- 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
- Incomplete SMT techniques for solving non-linear formulas over the integers
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- raSAT: an SMT solver for polynomial constraints
- CoCoALib
- libpoly
- GiNaCRA
- MathSAT5
- CArL
- TopDeg
- SMT-RAT
- EFSMT
- GPU-PRISM
- GPUexplore
- Theoryguru
- XSat
- CylindricalAlgebraicDecompose
- CrystalBall
- raSAT: An SMT Solver for Polynomial Constraints
- Modular strategic SMT solving with \textbf{SMT-RAT}
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
This page was built for software: raSAT
