劳伦特·米歇尔;帕斯卡·范·亨特利克 定位器。 （英语） Zbl 0988.90015号 约束条件 5，编号1-2，43-84（2000）. 作者摘要：局部搜索是解决组合搜索问题的一种传统技术，近年来引起了人们的极大兴趣。本地搜索算法的设计和实现通常不是一项容易的任务，可能需要大量的实验和编程工作。然而，与全局搜索相反，很少有支持可用于帮助设计和实现局部搜索算法。本文描述了一种用于实现局部搜索算法的建模语言Localizer的设计和实现。本地化程序使局部搜索算法能够以接近科学论文中非正式描述的符号表示。在布尔可满足图着色、图划分和job-shop调度上的实验结果表明了该方法的可行性。审核人：Dinh The Luc（阿维尼翁） 引用于9文件 MSC公司： 90B40码 搜索理论 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：建模语言;本地搜索;增量算法 软件：数字;OPL公司;本地化程序;AMPL公司;林多;炸薯条;克莱尔;欧兹 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck}，约束5，No.1--2,43-84（2000；Zbl 0988.90015） 全文： 内政部