Efficient decision procedure for non-linear arithmetic constraints using CORDIC.

Malay K. Ganai, Franjo Ivancic

Browse the full FMCAD paper archive.