您的位置: 专家智库 > >

郭霆

作品数:1 被引量:1H指数:1
供职机构:吉林大学计算机科学与技术学院更多>>
发文基金:浙江省自然科学基金吉林省科技发展计划基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇约束满足问题

机构

  • 1篇吉林大学

作者

  • 1篇韩文成
  • 1篇李占山
  • 1篇郭霆

传媒

  • 1篇计算机科学

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
约束分解技术回顾与展望被引量:1
2011年
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。
李占山韩文成郭霆
关键词:约束满足问题
共1页<1>
聚类工具0