MAX+(1)和MAX+(2)公式的分裂特征

摘要：

改名技术在简化一些难例公式的消解证明和构造高效的可满足算法方面有重要意义.MAX+公式是MU公式中的一个重要子类,该类公式可以通过递归的方式产生.为研究MAX+公式改名问题的复杂性,对MAX+(1)和MAX+(2)公式的分裂问题进行了分析,得到了一些关于这两类公式的若干分裂特征,对进一步研究MAX+公式的改名问题有较大的现实意义.

关键词： MAX+公式 分裂特征 改名技术

作者: 姚雷博 布挺 董红政 段晓明

作者单位: 洛阳理工学院,洛阳,471023

会议类型: 国内会议

会议名称: 第四届江苏计算机大会

会议地点: 南京

会议语种:中文

页码: 45-47,51

在线出版日期: 2010-11-19（万方平台首次上网日期，不代表论文的发表时间）