Figure 3From: Application of Max-SAT-based ATPG to optimal cancer therapy designLogic circuit stuck-at fault model for GF signaling pathways.Back to article page