约束分解技术回顾与展望

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