Solving constraints on the invisible bits of the intermediate result for floating-point verificationMerav AharoniSigal Asafet al.2005ARITH 2005