The following pages link to (Q4475657):
Displaying 7 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Dashed strings for string constraint solving (Q2046015) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- Optimal inverse projection of floating-point addition (Q2299211) (← links)
- Integration and propagation of a multi-criteria decision making model in constraint programming (Q2506237) (← links)
- Exploiting Binary Floating-Point Representations for Constraint Propagation (Q2806863) (← links)
