raSAT
From MaRDI portal
Software:27097
swMATH15206MaRDI QIDQ27097FDOQ27097
Author name not available (Why is that?)
Cited In (9)
- Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Using Taylor Models in Exact Real Arithmetic
- A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
- raSAT: an SMT solver for polynomial constraints
- raSAT: An SMT Solver for Polynomial Constraints
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
- 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
