Login / Signup

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

Rémy GarciaClaude MichelMichel Rueher
Published in: CP (2020)
Keyphrases