Dynamic Compaction in SAT-Based ATPG | IEEE Conference Publication | IEEE Xplore