冲突集

作品数：40被引量：187H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧阳丹彤林笠赵相福张立明姜云飞更多>>
相关机构：吉林大学暨南大学北京航空航天大学西南交通大学更多>>
相关期刊：《科技资讯》《计算机工程与设计》《四川电力技术》《北京航空航天大学学报》更多>>
相关基金：国家自然科学基金教育部“新世纪优秀人才支持计划”广东省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于优化冲突集提高下界的MAXSAT完备算法被引量：5
《计算机学报》2013年第10期2087-2095,共9页刘燕丽 李初民 何琨 
国家自然科学基金(61173180;61272014)资助~~
最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算...
关键词：NP完全 最大可满足性问题 单子句传播 推理规则 失败文字 
用布尔代数方法计算最小碰集被引量：38
《计算机学报》2003年第8期919-924,共6页姜云飞 林笠 
国家自然科学基金 (60 173 0 3 9;60 2 0 3 0 15 );国家教育部博士点基金(2 0 0 10 5 5 80 0 6);广东省自然科学基金 (0 11162 );教育部科学技术研究重点项目;广州市科技计划项目资助
在基于模型的诊断中 ,模型一般都是用布尔代数来表示 ,而计算碰集 (hittingsets)则采用HS 树或图 ,这就使得诊断系统采用多种不同的数据结构 ,给编程实现带来了不便 .本文用布尔代数变量表示待诊断系统的部件 ,并给出了用布尔代数直接...
关键词：人工智能 布尔代数方法 计算 最小碰集 模型诊断 最小冲突集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部