A fast untestability proof for SAT-based ATPG.

Daniel Tille, Rolf Drechsler

Browse the full DDECS paper archive.