10.3969/j.issn.1000-1220.2000.01.024
约束满足问题的局部一致性维护理论与方法
人工智能与计算机科学中的许多问题都可视为约束满足问题.为了简化问题的求解,常采用局部一致性方法减小搜索空间.本文首先介绍与分析了着眼于全局一致性的局部处理的理论与方法,以及尽可能消除回溯因素的局部一致性方法,最后给出了一种在减少局部一致性维护代价上优于已有方法的新算法.
约束满足、局部一致性维护
21
TP18(自动化基础理论)
中国科学院资助项目;中国科技大学校科研和教改项目
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
87-90