极小不可满足公式

作品数：18被引量：33H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：许道云徐小萍陈庆燕张庆顺王健更多>>
相关机构：贵州大学南京大学襄樊学院滨州学院更多>>
相关期刊：《软件学报》《计算机科学与探索》《井冈山大学学报（自然科学版）》《洛阳理工学院学报（自然科学版）》更多>>
相关基金：国家自然科学基金贵州省省长基金贵州省高层次人才科研条件特助经费项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用于求解正则(3,4)-SAT实例集的修正警示传播算法被引量：2
《计算机科学》2018年第11期312-317,共6页佘光伟 许道云 
国家自然科学基金项目(61762019;61462001)资助
利用极小不可满足公式的临界特性,可以将任意的一个3-CNF公式多项式时间归约转换为一个正则(3,4)-CNF公式,从而得到一个保留NP完全性的正则(3,4)-SAT问题。警示传播算法(Warning Propagation,WP)在归约转换后的正则(3,4)-SAT实例集上高...
关键词：极小不可满足公式 正则(3 4)-SAT问题 警示传播算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部