Efficient SAT-based ATPG techniques for all multiple stuck-at faults | IEEE Conference Publication | IEEE Xplore