Exploiting Binary Floating-Point Representations for Constraint Propagation
- Authors
- R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2016
- Journal
- INFORMS Journal of Computing (JoC)
- Publisher
- INFORMS Journal of Computing (JoC)
- Citation key
- 8691