7 T immer 算法 Timmer 算法 [ 22] 引入了子句蕴含图( clause implication graph, CIG) 中统治点的概念.
基于1个网页-相关网页
clause implication graph
条款蕴涵图
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动