{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T14:45:25Z","timestamp":1776955525429,"version":"3.51.4"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/vts.2015.7116296","type":"proceedings-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:32:59Z","timestamp":1433950379000},"page":"1-6","source":"Crossref","is-referenced-by-count":23,"title":["Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects"],"prefix":"10.1109","author":[{"given":"Dominik","family":"Erb","sequence":"first","affiliation":[]},{"given":"Karsten","family":"Scheibler","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Sauer","sequence":"additional","affiliation":[]},{"given":"Sudhakar M.","family":"Reddy","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1271073"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147186"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2010.2077315"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.138"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391682"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2014.34"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2008.30"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639668"},{"key":"ref18","article-title":"Test Generation for Interconnect Opens","author":"lin","year":"2008","journal-title":"ITC"},{"key":"ref19","article-title":"On the complexity of derivation in propositional calculus","volume":"2","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1996.510888"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DBT.2005.1531300"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2005.13"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843859"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1998.741618"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2005.64"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122525"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484745"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041766"},{"key":"ref20","article-title":"Handbook of Satisfiability, ser. Frontiers in Artificial Intelligence and Applications 185","author":"buning","year":"2009","journal-title":"Theory of quantified Boolean formulas"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"ref21","first-page":"231","article-title":"Recent improvements in the SMT solver iSAT","author":"scheibler","year":"2013","journal-title":"MBMV'13"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2008.4700642"}],"event":{"name":"2015 IEEE 33rd VLSI Test Symposium (VTS)","location":"Napa, CA, USA","start":{"date-parts":[[2015,4,27]]},"end":{"date-parts":[[2015,4,29]]}},"container-title":["2015 IEEE 33rd VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7104933\/7116233\/07116296.pdf?arnumber=7116296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T15:37:31Z","timestamp":1490369851000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7116296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/vts.2015.7116296","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}