Stephan Eggersglüß, Daniel Tille, Rolf Drechsler. Speeding up SAT-Based ATPG Using Dynamic Clause Activation. In Proceedings of the Eighteentgh Asian Test Symposium, ATS 2009, 23-26 November 2009, Taichung, Taiwan. pages 177-182, IEEE Computer Society, 2009. [doi]
Abstract is missing.