Efficient decision procedure for non-linear arithmetic constraints using CORDIC

Malay K. Ganai, Franjo Ivancic
2009 2009 Formal Methods in Computer-Aided Design  
doi:10.1109/fmcad.2009.5351140 dblp:conf/fmcad/GanaiI09 fatcat:dnmmgye5abexbl6zk27tuxjr6q