Exploiting Binary Floating-Point Representations for Constraint Propagation

Exploiting Binary Floating-Point Representations for Constraint Propagation

Authors
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb