SMT-RAT
From MaRDI portal
Cited in
(46)- CoCoALib
- QEPCAD
- jsCoq
- SYNRAC
- SMT-LIB
- REDLOG
- Yices
- Polynomial constraints and unsat cores in \textsc{Tarski}
- Orbital library
- libpoly
- Positive solutions of systems of signed parametric polynomial inequalities
- GiNaCRA
- dReal
- veriT
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Algorithmic reduction of biological networks with multiple time scales
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- NLTOOLBOX
- MathSAT5
- PARAM
- Fully incremental cylindrical algebraic decomposition
- Modular strategic SMT solving with \textbf{SMT-RAT}
- CArL
- CalCS
- raSAT
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- raSAT: An SMT Solver for Polynomial Constraints
- Building bridges between symbolic computation and satisfiability checking
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers
- Solving nonlinear integer arithmetic with MCSAT
- Adapting real quantifier elimination methods for conflict set computation
- EFSMT
- Minimal-model-guided approaches to solving polynomial constraints and extensions
- Theoryguru
- XSat
- HyPro
- iSAT
- CylindricalAlgebraicDecompose
- PRISM-PSY
- Incomplete SMT techniques for solving non-linear formulas over the integers
- FACT
- Zephyrus2
This page was built for software: SMT-RAT
