Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. Conference Proceeding uri icon

Overview

publication date

  • January 1, 2010

Full Author List

  • Gao S; Ganai MK; Ivancic F; Gupta A; Sankaranarayanan S; Clarke EM

Other Profiles

International Standard Book Number (ISBN) 13

  • 978-1-4577-0734-6

Additional Document Info

start page

  • 81

end page

  • 89