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

• 作者: 姚雷博 布挺 段晓明 董红政
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: MAX+(1) MAX+(2) 分裂 特征
• 年，卷（期）: 2010,（11）
• 页码范围: 45-47,51
• 分类号: TP301.6
• 字数: 3302字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.11.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段晓明		13	56	4.0	7.0
2	布挺		18	40	4.0	5.0
3	姚雷博		13	20	2.0	4.0
4	董红政		16	22	3.0	3.0