Improving Test Pattern Compactness in SAT-based ATPG | IEEE Conference Publication | IEEE Xplore