Neural Models and Quadratic 0-1 Programming for Combinational ATPG [32, 38, 35, 33, 34, 80, 51, 52, 31, 29, 30, 28, 37, 39, 50, 79, 64]
Equivalent State Hashing (EST) Combinational ATPG [65, 16, 67, 66]
Functional ATPG [76]
Redundancy Identification [81, 82]