keywords Bit-width allocation Computer Science Computer Science, Theory & Methods Engineering Engineering, Electrical & Electronic FLOATING-POINT OPTIMIZATION SYSTEMS Satisfiability-Modulo Theory Science & Technology Technology