Pages that link to "Item:Q2307623"
From MaRDI portal
The following pages link to From simplification to a partial theory solver for non-linear real polynomial constraints (Q2307623):
Displaying 4 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- raSAT: an SMT solver for polynomial constraints (Q1688535) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving (Q5041067) (← links)