Pages that link to "Item:Q5200037"
From MaRDI portal
The following pages link to Solving Systems of Linear Inequalities by Bound Propagation (Q5200037):
Displaying 5 items.
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- (Q3147132) (← links)
- (Q4374365) (← 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)