{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:23:36Z","timestamp":1758122616933,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8341978","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T19:20:11Z","timestamp":1524511211000},"page":"49-54","source":"Crossref","is-referenced-by-count":7,"title":["Combining PDR and reverse PDR for hardware model checking"],"prefix":"10.23919","author":[{"given":"Tobias","family":"Seufert","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Scholl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1613\/jair.4231","article-title":"Property directed reachability for automated planning","volume":"50","author":"suda","year":"2014","journal-title":"J Artif Intell Res (JAIR)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_17"},{"key":"ref12","first-page":"173","article-title":"Lazy abstraction and SAT-based reachability in hardware model checking","author":"vizel","year":"2012","journal-title":"FMCAD"},{"key":"ref13","first-page":"182","article-title":"IC3-guided abstraction","author":"baumgartner","year":"2012","journal-title":"FMCAD"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_55"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_22"},{"key":"ref16","article-title":"On the complexity of derivations in propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logics"},{"key":"ref17","first-page":"135","article-title":"Incremental formal verification of hardware","author":"chockler","year":"2011","journal-title":"FMCAD"},{"journal-title":"Using SAT based image computation for reachability analysis","year":"2003","author":"chahan","key":"ref18"},{"key":"ref19","first-page":"79","article-title":"Sequential verification using Reverse PDR","author":"seufert","year":"2017","journal-title":"MBMV"},{"key":"ref4","first-page":"502","article-title":"An extensible SAT-solver","author":"e\u00e9n","year":"2003","journal-title":"SAT"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_38"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679405"},{"key":"ref7","first-page":"125","article-title":"Efficient implementation of property directed reachability","author":"e\u00e9n","year":"2011","journal-title":"FMCAD"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542254"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2018,3,19]]},"location":"Dresden, Germany","end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08341978.pdf?arnumber=8341978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,16]],"date-time":"2019-10-16T18:40:43Z","timestamp":1571251243000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8341978\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8341978","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}