SAT-Based ATPG for Zero-Aliasing Compaction.

Robert Hlle, Petr Fiser, Jan Schmidt

Browse the full DSD paper archive.