Efficiency of Multi-Valued Encoding in SAT-based ATPG | IEEE Conference Publication | IEEE Xplore