Solving range constraints for binary floating-point instructions | IEEE Conference Publication | IEEE Xplore