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