Exploiting Binary Floating-Point Representations for Constraint Propagation

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]

Authors

Roberto Bagnara

This author has not been identified. Look up 'Roberto Bagnara' in Google

Matthieu Carlier

This author has not been identified. Look up 'Matthieu Carlier' in Google

Roberta Gori

This author has not been identified. Look up 'Roberta Gori' in Google

Arnaud Gotlieb

This author has not been identified. Look up 'Arnaud Gotlieb' in Google