Efficient decision procedure for non-linear arithmetic constraints using CORDIC

Malay K. Ganai
FMCAD (2009), pp. 61-68

Abstract