@article{DEF+:2008,
author = {Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel and Daniel Tille},
title = {On Acceleration of SAT-based ATPG for Industrial Designs.},
journal = {IEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD).},
year = {2008},
pages = {1329-1333},
note = {gfey, CE},
howpublished = {08-999 DEF+:2008 TCAD}
}

@COMMENT{Bibtex file generated on 2026-5-22 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }