Efficient decision procedure for non-linear arithmetic constraints using CORDIC

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

Abstract

Research Areas