A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists | IEEE Conference Publication | IEEE Xplore