Exploiting binary floating-point representations for constraint propagation

von Bagnara, Roberto
Veröffentlicht in Institute for Operations Research and the Management Sciences INFORMS journal on computing (2016)