Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems

Sicun Gao, Malay Ganai, Franjo Ivančić, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Scopus citations

Fingerprint

Dive into the research topics of 'Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems'. Together they form a unique fingerprint.

Engineering & Materials Science