无冗余等价子集相关硕士博士期刊学术论文 - 搜论网

无冗余等价子集相关论文

命题逻辑公式中的冗余子句及冗余文字

...

期刊

冗余子句冗余文字无冗余等价子集可满足性

命题逻辑中子句集的冗余性研究

检测和消除命题逻辑公式中的冗余子句,是许多应用领域(包括人工智能)广泛研究的基本问题。基于已有的研究工作,本文主要探讨命题逻......

学位

命题逻辑公式无冗余等价子集相对冗余子句绝对冗余子句余冗文字可满足性

看过本文同时还关注