MAX+(1)和MAX+(2)公式的分裂特征
姚雷博
布挺
董红政
段晓明
1.洛阳理工学院,洛阳,4710232.洛阳理工学院,洛阳,4710233.洛阳理工学院,洛阳,4710234.洛阳理工学院,洛阳,471023
摘要：改名技术在简化一些难例公式的消解证明和构造高效的可满足算法方面有重要意义.MAX+公式是MU公式中的一个重要子类,该类公式可以通过递归的方式产生.为研究MAX+公式改名问题的复杂性,对MAX+(1)和MAX+(2)公式的分裂问题进行了分析,得到了一些关于这两类公式的若干分裂特征,对进一步研究MAX+公式的改名问题有较大的现实意义.
关键词：MAX+(1)MAX+(2)分裂特征
分类号：TP301.6(计算技术、计算机技术)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 45-47,51 )
英文信息