Bernd Becker, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer. Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization. In Proceedings of the 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2014, Santorini, Greece, May 6-8, 2014. pages 1-10, IEEE, 2014. [doi]
Abstract is missing.