{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:18:43Z","timestamp":1725801523412},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.23919\/fmcad.2019.8894294","type":"proceedings-article","created":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T09:25:06Z","timestamp":1573637106000},"page":"10-18","source":"Crossref","is-referenced-by-count":0,"title":["Input Elimination Transformations for Scalable Verification and Trace Reconstruction"],"prefix":"10.23919","author":[{"given":"Raj Kumar","family":"Gajavelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Baumgartner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Ivrii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert L.","family":"Kanzelman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiladitya","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A fast reparameterization procedure","author":"een","year":"2013","journal-title":"International Workshop on Design and Implementation of Formal Tools and Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456949"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-49052-6_1","article-title":"SAT-based combinational and sequential dependency computation","author":"soeken","year":"2016","journal-title":"Hardware and Software Verification and Testing"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967079"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1109\/ASPDAC.2007.358021","article-title":"Node mergers in the presence of don’t cares","author":"plaza","year":"2007","journal-title":"Asia and South Pacific Design Automation Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(02)93175-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_18"},{"key":"ref3","article-title":"Clauses versus gates in CEGAR-based 2QBF solving","author":"balabanov","year":"2016","journal-title":"Beyond NP Papers from the 2016 AAAI Workshop"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0080-2"},{"key":"ref5","article-title":"The AIGER And-Inverter Graph (AIG) format version 20071012. Technical report, FMV Reports Series","author":"biere","year":"2007","journal-title":"Technical report Institute for Formal Models and Verification Johannes Kepler University"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_40"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18275-4_7","article-title":"SAT-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"International Conference on Verification Model Checking and Abstract Interpretation"},{"journal-title":"Hardware Model Checking Competition","year":"2017","key":"ref2"},{"journal-title":"Computer Aided Verification","article-title":"ABC: An academic industrial-strength verification tool","year":"2010","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090934"}],"event":{"name":"2019 Formal Methods in Computer Aided Design (FMCAD)","start":{"date-parts":[[2019,10,22]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2019,10,25]]}},"container-title":["2019 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8891869\/8894241\/08894294.pdf?arnumber=8894294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T21:05:04Z","timestamp":1722027904000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8894294\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2019.8894294","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}