@misc{indiciae10cdda3f2a3d,
  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 = {2015},
  url = {https://arxiv.org/abs/1308.3847},
  note = {Source identifier: 1308.3847}
}