基于不同启发式策略的约束满足问题求解研究

约束满足问题是人工智能的重要研究方向。约束传播技术和启发式策略是影响约束求解算法效率的关键。对于大规模和大型具有结构化特征的问题，设计并运用有效的值序、变量序启发式策略将大大缩减搜索空间，极大提高问题求解效率。文中对现在流行的静态启发式、动态启发式和冲突驱动的启发式等不同类别的启发式采用标准库问题实例进行适应性求解测试，并对各种启发式策略进行性能评估。