Figure 4From: Application of Max-SAT-based ATPG to optimal cancer therapy designSequential ATPG by time-frame expansion method.Back to article page