您的位置： 专家智库 > >

广西高等学校科研项目(2013YB029)

作品数：1 被引量：2H指数：1
相关作者：殷明浩谷文祥王金艳覃少华更多>>
相关机构：东北师范大学广西师范大学长春建筑学院更多>>
发文基金：广西师范大学博士科研启动基金广西高等学校科研项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇SAT

机构

  • 1篇广西师范大学
  • 1篇东北师范大学
  • 1篇长春建筑学院

作者

  • 1篇覃少华
  • 1篇王金艳
  • 1篇谷文祥
  • 1篇殷明浩

传媒

  • 1篇智能系统学报

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
扩展规则方法研究综述被引量：2
2014年
归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻辑中的发展以及在一阶逻辑、描述逻辑、模态逻辑、可能性逻辑和多值逻辑中的应用3个方面论述分析了扩展规则10年来的研究现状,重点阐述扩展规则用于求解SAT、相近SAT和#SAT问题各种算法的优缺点,最后指出相关的研究热点与发展趋势。
王金艳谷文祥覃少华殷明浩
关键词：SAT
全选 清除 导出
共1页<1>
聚类工具0