Pages that link to "Item:Q2305439"

The following pages link to Optimization modulo the theory of floating-point numbers (Q2305439):

Displaying 2 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)