Pages that link to "Item:Q1799086"
From MaRDI portal
The following pages link to Exploring approximations for floating-point arithmetic using UppSAT (Q1799086):
Displaying 4 items.
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- An SMT theory of fixed-point arithmetic (Q2096435) (← links)
- Optimization modulo the theory of floating-point numbers (Q2305439) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)