36 search results - page 8 / 8 » Branch and Bound for Boolean Optimization and the Generation... |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...