约束分解技术回顾与展望

摘要：

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.

关键词：约束满足问题、约束分解技术、知识表示框架

所属期刊栏目：38

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金60973089,60873148,60773097,61003101;吉林省科技发展计划项目基金20101501,20100185,20090108,20080107;浙江省自然科学基金Yl100191;欧盟合作项目155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12;吉林大学符号计算与知识工程教育部重点实验室开放项目93K-17-2009-K05

在线出版日期：2012-02-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：29-33,38