{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:12:33Z","timestamp":1729653153008,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/iccad.2015.7372652","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T22:15:52Z","timestamp":1452204952000},"page":"794-801","source":"Crossref","is-referenced-by-count":3,"title":["Property-directed synthesis of reactive systems from safety specifications"],"prefix":"10.1109","author":[{"given":"Ting-Wei","family":"Chiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"125","article-title":"Efficient implementation of property directed reachability","author":"e\u00e9n","year":"2011","journal-title":"Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref11","first-page":"502","article-title":"An extensible SAT-solver","author":"e\u00e9n","year":"2003","journal-title":"Proc Theory Applications Satisfiability Testing (SAT)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_33"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.12"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SAT190077","article-title":"DepQBF: A dependency-aware QBF solver","volume":"7","author":"lonsing","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation (JSAT)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_13"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_35"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_21"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0152-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987592"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54013-4_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_12"},{"year":"0","key":"ref1","article-title":"Berkeley logic synthesis and verification group. ABC: A system for sequential synthesis and verification"},{"key":"ref9","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":"Proceedings of the International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351138"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72788-0_34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_26"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-5327-8_25"}],"event":{"name":"2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2015,11,2]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,11,6]]}},"container-title":["2015 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7367889\/7372533\/07372652.pdf?arnumber=7372652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T18:27:22Z","timestamp":1600021642000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7372652\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iccad.2015.7372652","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}