Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb. Exploiting Binary Floating-Point Representations for Constraint Propagation. INFORMS Journal on Computing, 28(1):31-46, 2016. [doi]
@article{BagnaraCGG16,
title = {Exploiting Binary Floating-Point Representations for Constraint Propagation},
author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and Arnaud Gotlieb},
year = {2016},
doi = {10.1287/ijoc.2015.0663},
url = {http://dx.doi.org/10.1287/ijoc.2015.0663},
researchr = {https://researchr.org/publication/BagnaraCGG16},
cites = {0},
citedby = {0},
journal = {INFORMS Journal on Computing},
volume = {28},
number = {1},
pages = {31-46},
}