Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Open in new window