@article{exploitingbinaryfloatingpoint,
  title = {Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version},
  author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and Arnaud Gotlieb},
  year = {2013},
  eprint = {1308.3847},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1308.3847v4},
}