约束分解技术回顾与展望
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.
约束满足问题、约束分解技术、知识表示框架
38
TP301.6(计算技术、计算机技术)
国家自然科学基金;吉林省科技发展计划;浙江省自然科学基金;欧盟合作项目;吉林大学符号计算与知识工程教育部重点实验室开放基金
2012-02-21(万方平台首次上网日期,不代表论文的发表时间)
共5页
29-33