Skip to Main content Skip to Navigation
Book sections

A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02962315
Contributor : Rémy Garcia <>
Submitted on : Friday, October 9, 2020 - 10:18:30 AM
Last modification on : Monday, October 12, 2020 - 10:30:30 AM

Identifiers

Collections

Citation

Rémy Garcia, Claude Michel, Michel Rueher. A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors. Principles and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩. ⟨hal-02962315⟩

Share

Metrics

Record views

51