SMT-RAT

From MaRDI portal
Software:25009



swMATH13091MaRDI QIDQ25009


No author found.

Source code repository: https://github.com/smtrat/smtrat/wiki




Related Items (19)

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and ExtensionsPolynomial constraints and unsat cores in \textsc{Tarski}Modular strategic SMT solving with \textbf{SMT-RAT}Solving Nonlinear Integer Arithmetic with MCSATAdapting Real Quantifier Elimination Methods for Conflict Set ComputationDeciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coveringsPolyhedral Approximation of Multivariate Polynomials Using Handelman’s TheoremPositive solutions of systems of signed parametric polynomial inequalitiesAlgorithmic reduction of biological networks with multiple time scales$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic ComputationIncomplete SMT Techniques for Solving Non-Linear Formulas over the IntegersraSAT: An SMT Solver for Polynomial ConstraintsBuilding Bridges between Symbolic Computation and Satisfiability CheckingFully incremental cylindrical algebraic decompositionEfficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical AlgorithmsA Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer ArithmeticOn Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real NumbersCooperating 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