Pages that link to "Item:Q2305439"
From MaRDI portal
The following pages link to Optimization modulo the theory of floating-point numbers (Q2305439):
Displaying 4 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Optimization modulo the theories of signed bit-vectors and floating-point numbers (Q2051569) (← links)
- Optimal inverse projection of floating-point addition (Q2299211) (← links)
- Optimizing floating point operations in Scheme (Q4951520) (← links)