Pages that link to "Item:Q4691738"
From MaRDI portal
The following pages link to Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions (Q4691738):
Displaying 12 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Towards satisfiability modulo parametric bit-vectors (Q2051567) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Towards bit-width-independent proofs in SMT solvers (Q2305428) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Verification Modulo theories (Q6056642) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
