绝对冗余子句相关硕士博士期刊学术论文

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