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

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

表1

表达逻辑约束使用CNF约束。
逻辑约束 CNF约束