计算机网络和通讯》杂志上
研究文章

多路检测使用布尔可满足性的技术

图6

检测512芯片相关的概率。
365107. fig.006