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

Browse the full FMCAD paper archive.