PaperSolving the generalized mask constraint for test generation of binary floating point add operation
Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verification
