Mille ans d'histoire aux portes de Clermont-Ferrand : carnet de fouille archéologique à Trémonteix

Veröffentlicht 2012

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)