Login / Signup
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