您的位置： 专家智库 > >

张秋菊

作品数：2 被引量：3H指数：1
供职机构：贵州大学计算机科学与信息学院更多>>
发文基金：贵州省省长基金国家自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 2篇启发式算法
  • 1篇极小不可满足...
  • 1篇合取范式
  • 1篇SAT
  • 1篇SAT问题

机构

  • 2篇贵州大学

作者

  • 2篇张秋菊
  • 1篇秦永彬

传媒

  • 1篇计算机与数字...

年份

  • 1篇2010
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于关键文字的求解SAT问题的启发式算法被引量：1
2010年
逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法。
秦永彬张秋菊
关键词：启发式算法
关键文字和极小不可满足公式
命题变元及其否定统称为文字。文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可满足：否则称该公式不可满足。判定一个公式是否是可满足的问题称为可满足性问题，简称为SAT...
张秋菊
关键词：合取范式启发式算法
文献传递
全选 清除 导出
共1页<1>
聚类工具0