SMT-RAT
From MaRDI portal
Software:25009
swMATH13091MaRDI QIDQ25009FDOQ25009
Author name not available (Why is that?)
Source code repository: https://github.com/smtrat/smtrat/wiki
Cited In (19)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Adapting real quantifier elimination methods for conflict set computation
- Minimal-model-guided approaches to solving polynomial constraints and extensions
- Building bridges between symbolic computation and satisfiability checking
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- Solving nonlinear integer arithmetic with MCSAT
- 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
- Algorithmic reduction of biological networks with multiple time scales
- Fully incremental cylindrical algebraic decomposition
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- Positive solutions of systems of signed parametric polynomial inequalities
- On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers
- raSAT: An SMT Solver for Polynomial Constraints
- Polynomial constraints and unsat cores in \textsc{Tarski}
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- 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: SMT-RAT
