研究文章

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

图1

的一个例子可以满足的坐在实例显示其相应的决策树。
365107. fig.001