@misc {IOPORT.70202926,
    author       = {Ganai, Malay K. and Ivancic, Franjo},
    title        = {Efficient decision procedure for non-linear arithmetic constraints using CORDIC},
    howpublished = {FMCAD, 61-68 (2009).},
    year         = {2009},
    doi          = {10.1109/FMCAD.2009.5351140},
    identifier   = {70202926},
}