约简运算相关硕士博士期刊学术论文

在知识表示和自动推理领域，命题逻辑是一种极其重要的形式化语言，其中命题逻辑可满足性问题是研究最广泛的核心问题之一，约简命题逻辑......