Login / Signup
Robert L. Kanzelman
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Multiresolution
Shape Recovery
Web Scale
Discrete Tomography
Top Venues
FMCAD
</>
Publications
</>
Raj Kumar Gajavelly
,
Jason Baumgartner
,
Alexander Ivrii
,
Robert L. Kanzelman
,
Shiladitya Ghosh
Input Elimination Transformations for Scalable Verification and Trace Reconstruction.
FMCAD
(2019)