{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T16:42:00Z","timestamp":1776530520175,"version":"3.51.2"},"reference-count":74,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/dtis.2014.6850674","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T14:24:23Z","timestamp":1406643863000},"page":"1-10","source":"Crossref","is-referenced-by-count":14,"title":["Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization"],"prefix":"10.1109","author":[{"given":"Bernd","family":"Becker","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Eggersgluss","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Sauer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2005.6"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639668"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.138"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041766"},{"key":"39","author":"scheibler","year":"2014","journal-title":"Implication Graph Compression Inside the SMT Solver iSAT3"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2008.4700642"},{"key":"38","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure","volume":"1","author":"fra?nzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429391"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.35"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2011.5783055"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270886"},{"key":"67","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2013.53"},{"key":"66","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.098"},{"key":"69","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2012.6401550"},{"key":"68","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2012.101"},{"key":"22","author":"siewiorek","year":"1992","journal-title":"Reliable Computer Systems Design and Evaluation"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.887832"},{"key":"24","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"An extensible sat solver","volume":"2919","author":"ee?n","year":"2004","journal-title":"Intl Conf on Theory and Applications of Satisfiability Testing Ser Lecture Notes in Computer Science"},{"key":"25","first-page":"386","article-title":"Conflict-driven answer set solving","author":"gebser","year":"2007","journal-title":"Intl Joint Conf on Artificial Intelligence"},{"key":"26","article-title":"Antom-solver description","author":"schubert","year":"2010","journal-title":"SAT Race"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2012.6219063"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2012.6231098"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.871626"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1983.1676174"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675757"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.104.0278"},{"key":"7","article-title":"On the complexity of derivations in propositional calculus","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logics"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2001.990263"},{"key":"6","article-title":"Conflict driven techniques for improving deterministic test pattern generation","author":"wang","year":"2002","journal-title":"Intl Conf on Computer-Aided Design"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804387"},{"key":"32","article-title":"Multi-conditional satatpg for power-droop testing","author":"czutro","year":"2012","journal-title":"IEEE European Test Symp"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810638"},{"key":"31","first-page":"561","article-title":"Superb: Simulator utilizing parallel evaluation of resistive Bridges","volume":"14","author":"engelke","year":"2009","journal-title":"ACM Trans on Design Automation of Electronic Circuits"},{"key":"70","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0122-4"},{"key":"71","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.140"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.536723"},{"key":"72","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.161"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"73","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2011.5783778"},{"key":"74","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2013.16"},{"key":"59","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2008.14"},{"key":"58","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2011.5783731"},{"key":"57","first-page":"1","article-title":"Computing two-pattern test cubes for transition path delay faults","volume":"99","author":"pomeranz","year":"2012","journal-title":"IEEE Trans on VLSI Systems"},{"key":"56","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681551"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270315"},{"key":"55","first-page":"10","article-title":"Low-capture-power test generation for scan-based atspeed testing","author":"wen","year":"2005","journal-title":"Intl Test Conf"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041766"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2008.4700642"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008326111919"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-006-6392-x"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-009-0124-7"},{"key":"14","first-page":"279","article-title":"New defect behavior at 130nm and beyond","author":"aitken","year":"2004","journal-title":"IEEE European Test Symp"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923107"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337546"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-010-5146-y"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1996.545574"},{"key":"64","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2014.6847807"},{"key":"65","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2012.6233017"},{"key":"62","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1991.519511"},{"key":"63","doi-asserted-by":"publisher","DOI":"10.1109\/43.469663"},{"key":"60","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509651"},{"key":"61","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691102"},{"key":"49","first-page":"342","article-title":"Model for delay faults based upon paths","author":"smith","year":"1985","journal-title":"Intl Test Conf"},{"key":"48","author":"goel","year":"2013","journal-title":"Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2011.43"},{"key":"44","first-page":"104","article-title":"Estimation of component criticality in early design steps","year":"2011","journal-title":"Proc IEEE Int On-Line Testing Symp"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.14"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2012.6233027"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2005.55"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2043591"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2013.6651925"},{"key":"53","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1109\/TCAD.2004.826558","article-title":"Embedded deterministic test","volume":"23","author":"rajski","year":"2004","journal-title":"IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843824"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2006.261012"}],"event":{"name":"2014 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)","location":"Santorini, Greece","start":{"date-parts":[[2014,5,6]]},"end":{"date-parts":[[2014,5,8]]}},"container-title":["2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6844517\/6850634\/06850674.pdf?arnumber=6850674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T14:21:17Z","timestamp":1598106077000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6850674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/dtis.2014.6850674","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}