{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:32:01Z","timestamp":1729636321505,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/ivsw.2016.7566605","type":"proceedings-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T16:54:14Z","timestamp":1473958454000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Counterexample-guided diagnosis"],"prefix":"10.1109","author":[{"given":"Heinz","family":"Riener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goerschwin","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090870"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210088"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_29"},{"key":"ref6","article-title":"Fault diagnosis using quantified Boolean formulas","author":"mangassarian","year":"2007","journal-title":"IEEE Silicon Debug and Diagnosis Workshop"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537506"},{"key":"ref8","article-title":"On the complexity of proofs in propositional logics","volume":"2","author":"tseytin","year":"1983","journal-title":"Automation of Reasoning 2 Classical Papers on Computational Logic 1967-1970"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72788-0_34"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72788-0_26"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"}],"event":{"name":"2016 1st IEEE International Verification and Security Workshop (IVSW)","start":{"date-parts":[[2016,7,4]]},"location":"Sant Feliu de Guixols, Spain","end":{"date-parts":[[2016,7,6]]}},"container-title":["2016 1st IEEE International Verification and Security Workshop (IVSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7565277\/7566596\/07566605.pdf?arnumber=7566605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T07:47:44Z","timestamp":1475653664000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7566605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2016.7566605","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}