{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:16:02Z","timestamp":1725660962065},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742979","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T21:20:31Z","timestamp":1393017631000},"page":"744-749","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive interpolation-based model checking"],"prefix":"10.1109","author":[{"given":"Chien-Yu","family":"Lai","sequence":"first","affiliation":[]},{"given":"Cheng-Yin","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Chung-Yang Ric","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"2","first-page":"193","article-title":"Symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","article-title":"Sat-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"1","first-page":"1","article-title":"Interpolation and sat-based model checking","author":"mcmillan","year":"2003","journal-title":"Computer Aided Verification"},{"key":"7","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1007\/978-3-642-81955-1_28","article-title":"On the complexity of derivation in propositional calculus","author":"tseitin","year":"1983","journal-title":"Automation of Reasoning 2 Classical Papers on Computational Logic 1967-1970"},{"journal-title":"Model checking","year":"2000","author":"clarke jr","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488879"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.2307\/2275583"},{"year":"0","key":"9"},{"key":"8","first-page":"125","article-title":"Efficient implementation of property directed reachability","author":"een","year":"2011","journal-title":"Formal Methods in Computer-Aided Design (FMCAD) 2011"},{"key":"11","first-page":"333","article-title":"An extensible sat-solver","author":"ee?n","year":"2004","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"12","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-40922-X_8","article-title":"Checking safety properties using induction and a sat-solver","author":"sheeran","year":"2000","journal-title":"Formal Methods in Computer-Aided Design"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2014,1,20]]},"location":"Singapore","end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742979.pdf?arnumber=6742979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:18:36Z","timestamp":1689009516000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742979","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}