SMT-RAT
From MaRDI portal
Software:25009
No author found.
Source code repository: https://github.com/smtrat/smtrat/wiki
Related Items (19)
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions ⋮ Polynomial constraints and unsat cores in \textsc{Tarski} ⋮ Modular strategic SMT solving with \textbf{SMT-RAT} ⋮ Solving Nonlinear Integer Arithmetic with MCSAT ⋮ Adapting Real Quantifier Elimination Methods for Conflict Set Computation ⋮ 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 ⋮ Positive solutions of systems of signed parametric polynomial inequalities ⋮ Algorithmic reduction of biological networks with multiple time scales ⋮ $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⋮ Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers ⋮ raSAT: An SMT Solver for Polynomial Constraints ⋮ Building Bridges between Symbolic Computation and Satisfiability Checking ⋮ Fully incremental cylindrical algebraic decomposition ⋮ 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 ⋮ 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}
This page was built for software: SMT-RAT