Figure 1From: Application of Max-SAT-based ATPG to optimal cancer therapy designCircuit with stuck-at fault.Back to article page