C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.
Sicun Gao
Malay K. Ganai
Franjo Ivancic
Aarti Gupta
Sriram Sankaranarayanan
Edmund M. Clarke
Published in:
FMCAD (2010)
Keyphrases
</>
real world
solving problems
constraint satisfaction
neural network
genetic algorithm
real life
np complete
orders of magnitude
point cloud