Jump to Content

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems

Sicun Gao
Malay K. Ganai
Aarti Gupta
Sriram Sankaranarayanan
Edmund M. Clarke
FMCAD (2010), pp. 81-89

Abstract

Research Areas