论文部分内容阅读
为提升约束满足问题求解效率,对最受推崇的智能值排序启发式Look-ahead和Survivors-first进行深入研究.比较两种值排序启发式在常规和自适应两种环境下的效率表现.结果显示,在多数问题类上,常规情况下Survivors-first效果更好,而在自适应环境下效率有所下降;在不同环境下使用不同启发式可提升约束满足问题求解效率.