Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. - Merav Aharoni; Sigal Asaf; Ron Maharik; Ilan Nehama; Ilya Nikulshin; Abraham Ziv (IEEE Symposium on Computer Arithmetic, 2005)