马丁·亨茨;罗兰·H·C·雅普。;林云芳;卢，Seet Chong;J.Paul Walser;史晓平 用局部搜索求解有限域上的层次约束。 （英语） Zbl 1071.68549号 安。数学。Artif公司。智力。 40，编号3-4，283-301（2004）. 总结：许多现实世界中的问题都有相互冲突的需求和约束。处理此类过约束问题的一种方法是使用约束层次。在约束层次结构框架中，约束被划分为等级，并使用比较器选择适当的解决方案，该比较器考虑到约束及其等级。本文提出了一种求解有限域上层次约束问题的局部搜索方法。这是对过约束整数程序WSAT（OIP）的局部搜索到约束层次和一般有限域约束的扩展。这项工作的动机来自于解决大型机场登机口分配问题。我们展示了如何使用典型的门分配约束将门分配问题表示为HCP。使用门分配基准，我们研究了如何使用两个模型（0-1线性约束层次模型和非线性有限域约束层次模型）来选择约束层次策略和问题公式。 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：层次约束;有限域约束;过约束问题;机场登机口分配 软件：天蓝色;欧兹;WSAT（OIP） PDF格式BibTeX公司 XML格式引用 \textit{M.Henz}等人，《数学年鉴》。Artif公司。智力。40，编号3--4，283--301（2004；Zbl 1071.68549） 全文： 内政部