Pages that link to "Item:Q3637273"
From MaRDI portal
The following pages link to Combined Decision Techniques for the Existential Theory of the Reals (Q3637273):
Displaying 6 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- raSAT: an SMT solver for polynomial constraints (Q1688535) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- raSAT: An SMT Solver for Polynomial Constraints (Q2817923) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
