Alert button

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

Jul 31, 2015
Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

Figure 1 for Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Figure 2 for Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
Figure 3 for Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: