raSAT

swMATH15206MaRDI QIDQ27097FDOQ27097

Author name not available (Why is that?)

Cited In (9)

• 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
• 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