Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.
Conference Proceeding
Overview
publication date
- January 1, 2010
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Gao S; Ganai MK; Ivancic F; Gupta A; Sankaranarayanan S; Clarke EM
Full Editor List
- Bloem R; Sharygina N
author count
- 6
Other Profiles
International Standard Book Number (ISBN) 13
- 978-1-4577-0734-6
Additional Document Info
start page
- 81
end page
- 89