奥利·卡马拉宁;哈尼族El Sakkout 基于局部搜索构建完整算法的框架。 （英语） Zbl 1171.68042号 AI通讯。 20，第3期，135-150（2007）. 摘要：通过局部一致性技术增强的回溯搜索可以有效地为具有复杂和重叠约束的紧约束问题找到解决方案（或证明其不可行）。相比之下，局部搜索在优化松散约束的问题上可能更优，但在具有复杂约束满足元素的问题上较弱，并且不能证明问题不可行。本文描述了局部探测，它结合了局部搜索和回溯搜索的优点，能够找到解决方案或证明不存在任何解决方案。局部探测是对现有混合框架的局部搜索扩展，即探测回溯搜索。这里，主回溯搜索算法混合了从局部搜索算法，该算法可以解决动态创建的子问题，这些子问题比原始问题更容易解决。我们给出了资源受限调度的比较结果，展示了局部探测如何成功地为其从属局部搜索算法添加了不可行性证明。 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68页第10页 搜索和排序 关键词：本地搜索;回溯搜索;混合算法;资源受限调度 软件：PSICO公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Kamarainen}和\textit{H.El Sakkout}，AI Commun。20，第3号，135-150（2007；Zbl 1171.68042）