首页> 中文会议>第四届江苏计算机大会 >MAX+(1)和MAX+(2)公式的分裂特征

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第四届江苏计算机大会》|2010年|45-4751|共4页
会议地点南京
作者
姚雷博; 布挺; 董红政; 段晓明;
展开▼
作者单位

中国计算机学会;

江苏省计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
MAX+公式; 分裂特征; 改名技术;

相似文献

中文文献
外文文献
专利

1. MAX+(1)和MAX+(2)公式的分裂特征 [J] . 姚雷博 ,布挺 ,董红政 . 计算机与数字工程 . 2010,第011期
2. MAX+公式的结构特征 [J] . 姚雷博 ,董红政 ,郭超 . 计算机与数字工程 . 2010,第009期
3. MAX+(k)中公式改名的多项式时间可判定性 [J] . 陈庆燕 ,许道云 . 贵州大学学报（自然科学版） . 2005,第002期
4. SSA GT全球科技推出SSS GT MAX＋ [J] . . 自动化博览 . 2003,第1期
5. 感知特征建构模型r——"乘法公式(平方差公式)"教学设计与分析 [J] . 谢立光 . 中国数学教育（初中版） . 2015,第010期
6. 特高压直流输电线路采用多分裂导线时的表面电场计算公式推导与应用研究 [C] . ChenguangGao ,高晨光 ,Yuanqing Liu . 中国电机工程学会2017年全国电工理论与新技术学术年会 . 2017
7. Sturm-Liouville算子的特征值与特征函数的精确解和迹公式的计算 [A] . 陈莉敏 . 2011

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

摘要

著录项

相似文献

相关主题

期刊订阅