Optimization modulo the theories of signed bit-vectors and floating-point numbers
SMT floating-point arithmetic attractor dynamic attractor
scientific article; zbMATH DE number 7433028
scientific article