Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker. Dynamic Compaction in SAT-Based ATPG. In Proceedings of the Eighteentgh Asian Test Symposium, ATS 2009, 23-26 November 2009, Taichung, Taiwan. pages 187-190, IEEE Computer Society, 2009. [doi]
Abstract is missing.