SAT-Based ATPG for Zero-Aliasing Compaction | IEEE Conference Publication | IEEE Xplore