Pages that link to "Item:Q5200037"
From MaRDI portal
The following pages link to Solving Systems of Linear Inequalities by Bound Propagation (Q5200037):
Displaying 3 items.
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Solving Systems of Linear Inequalities by Bound Propagation (Q5200037) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
