raSAT
From MaRDI portal
Software:27097
No author found.
Related Items (max. 100)
Modular strategic SMT solving with \textbf{SMT-RAT} ⋮ raSAT: an SMT solver for polynomial constraints ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings ⋮ Polyhedral Approximation of Multivariate Polynomials Using Handelman’s Theorem ⋮ Using Taylor Models in Exact Real Arithmetic ⋮ Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers ⋮ raSAT: An SMT Solver for Polynomial Constraints ⋮ A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic ⋮ Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
This page was built for software: raSAT