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

Rmy Garcia, Claude Michel, Michel Rueher

Browse the full CP paper archive.