An SMT based method for optimizing arithmetic computations in embedded software code.

Hassan Eldib, Chao Wang

Browse the full FMCAD paper archive.