Pages that link to "Item:Q2405243"
From MaRDI portal
The following pages link to Satisfiability modulo transcendental functions via incremental linearization (Q2405243):
Displaying 6 items.
- Lattice-based refinement in bounded model checking (Q1629959) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions (Q4691738) (← links)
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test (Q6160909) (← links)