C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient decision procedure for non-linear arithmetic constraints using CORDIC.
Malay K. Ganai
Franjo Ivancic
Published in:
FMCAD (2009)
Keyphrases
</>
arithmetic constraints
decision making
programming language