Pages that link to "Item:Q4928438"
From MaRDI portal
The following pages link to A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (Q4928438):
Displayed 7 items.
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- raSAT: an SMT solver for polynomial constraints (Q1688535) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)