Ganai, Ivancic, 2009. Efficient decision procedure for non-linear arithmetic constraints using CORDIC, in: . IEEE.. https://doi.org/10.1109/fmcad.2009.5351140