MAX+公式的结构特征

• 作者: 姚雷博 张伟民 段晓明 董红政 郭超
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: MAX+ 结构 特征 公式
• 年，卷（期）: 2010,（9）
• 页码范围: 130-134
• 分类号: TP301.6
• 字数: 4388字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.09.040

摘要

改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.改名技术在简化一些难例公式的消解证明和构造高效的可满足算法方面有重要意义.MAX+公式是MU公式中的一个重要子类,该类公式可以通过递归的方式产生.通过分析MAX+公式的结构,得到了一些关于此类公式的结构特点,对进一步研究这类公式的改名问题有较大意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭超		17	46	4.0	6.0
2	段晓明		13	56	4.0	7.0
3	张伟民		11	65	4.0	8.0
4	姚雷博		13	20	2.0	4.0
5	董红政		16	22	3.0	3.0