Efficient SAT-based combinational ATPG using multi-level don't-cares | IEEE Conference Publication | IEEE Xplore