合取范式的可满足性完备算法研究与实现

来源 :软件导刊 | 被引量 : 0次 | 上传用户：c122319673

【摘要】

：

把可满足性算法应用到合取范式中并加以分析，借助改进的数据结构实现该算法。在四色图着色中应用该算法找出一组图着色方案，并与DPLL算法进行了性能比较。

【作者】

：

【机构】

：

湖北大学计算机与信息工程学院

【出处】

：

软件导刊

【发表日期】

：

2016年10期

【关键词】

：

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

绿色荧光蛋白（Green Fluorescent Protein,GFP）已被广泛用作一种强有力的生物发光报告蛋白.但是,其在空间植物培养箱中应用尚存很大困难.本文提出一种在空间植物培养箱中利用LE

期刊