彗星 swMATH ID: 3051 软件作者： 劳伦特·米歇尔（Laurent Michel）；看，安德鲁；帕斯卡·范·亨特利克 描述： 基于约束的本地搜索。优化技术的新应用领域，从供应链管理到体育赛事调度，说明了组合优化问题在我们社会中的普遍性。在过去的二十年里，约束编程已经成为解决各种组合问题的基本方法，并且开发了丰富的约束编程语言，用于在高抽象级别上表达和组合约束，并指定搜索过程。组合优化的局部搜索方法能够在合理的时间限制内分离出最优或近最优解。本书介绍了一种解决组合优化问题的方法，该方法结合了约束编程和局部搜索，使用约束来描述和控制局部搜索，以及一种编程语言COMET，该语言本着约束编程的精神支持建模和搜索抽象。在概述了本地搜索（包括邻域、启发式和元启发式）之后，本书介绍了基于约束的本地搜索的体系结构、建模和搜索组件，并描述了COMET如何支持基于约束的局部搜索。这本书描述了由元神经系统安排的各种应用。它介绍了调度应用程序，以及理解这些挑战性问题所需的背景。该书还包括许多可满足性问题，说明了基于约束的局部搜索方法以统一的方式处理可满足性和优化问题的能力。 主页： http://dl.acm.org/citation.cfm？id=1804626 关键词： 组合优化；本地搜索；约束编程；平行；分布式的；语言 相关软件： CPLEX公司；本地化程序；Gecode公司；SALSA公司；CSPLib数据库；迷你锌；SCIP公司；EasyLocal公司++；锌；局部解算器；本质；OR-库；OPL公司；AMPL公司；立方厘米（FD）；欧兹；乔科；炸薯条；国际奥委会；禁忌搜索 引用于： 75文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 COMET中的并行和分布式本地搜索。 Zbl 1179.90288号劳伦特·米歇尔；看，安德鲁；帕斯卡·范·亨特利克 2009 全部的 前5名154位作者引用 18 帕斯卡·范·亨特利克 13 劳伦特·米歇尔 5 Flener，皮埃尔 5 贾斯汀·皮尔逊 4 克莉丝汀·索尔农 4 彼得·詹姆斯·斯塔基 三 奥格伦，马格纳斯 三 伯特兰·埃斯特隆 三 弗雷德里克·加迪 三 斯特凡诺·瓜兰迪 三 米歇拉·米兰 三 卡里姆·努伊奥瓦 三 汤姆·施里杰弗斯 三 看，安德鲁 三 塔克，吉多 2 萨尔瓦多阿布雷乌 2 罗素·W·本特。 2 伊夫·迪维尔 2 玛丽亚·加西亚·德拉班达 2 刘丽媛 2 费德里科·马卢塞利 2 珍妮·诺埃尔·莫内特 2 Pham，Quang Dung公司 2 皮埃尔·绍斯 2 马特乌斯·拉因斯基 2 马克·华莱士。 1 阿雷斯基·奈特，阿卜杜拉 1 托马索·阿达莫 1 阿登索·迪亚斯，贝尔拉米诺 1 帕特里克·阿尔伯特 1 阿纳格诺斯托普洛斯，阿里斯 1 卡洛斯·安索特吉 1 Artigues，克里斯蒂安 1 约阿奎因·包蒂斯塔 1 莫德湾 1 尼古拉斯·贝尔迪塞努 1 蒂埃里·贝诺伊斯特 1 古斯塔夫·比约达尔 1 米克尔波菲尔 1 布兰德，塞巴斯蒂安 1 布埃诺，弗朗西斯科 1 蔡少伟 1 伊夫·卡尼奥 1 卡尔森，Mats 1 曼纽尔·卡罗 1 吉尔·查伯特 1 赵坤茂 1 陈江航 1 Chen、Qian Matteo 1 安德烈·奥古斯托·西雷 1 菲利普·科多涅特 1 卡尔顿·科夫林 1 伊夫·克拉玛 1 Cung，Van Dat先生 1 吕克·德·雷德 1 Kalyanmoy Deb 1 索菲·德马西 1 巴特·德梅恩 1 德索特，贝诺特 1 贾科莫·迪托洛 1 丹尼尔·迪亚兹 1 末日，格雷戈伊尔 1 安东·德里斯 1 杜玉泉 1 安德烈亚斯·恩斯特（Andreas T.Ernst）。 1 纪尧姆·埃斯卡莫彻 1 阿尔贝托·芬齐 1 凯文·弗曼（Kevin C.Furman）。 1 伊恩·菲利普·根特 1 Gianpaolo Ghiani 1 安东尼奥·格里科 1 格罗斯曼（Ignacio E.Grossmann）。 1 伊曼纽拉·格雷罗 1 枪，蒂亚斯 1 何骏 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 约翰·胡克（John N.jun Hooker）。 1 杰雷米·休谟 1 卢克·杰林 1 艾丽特·凯特里尔 1 乔治·卡特西雷洛斯 1 麦迪吉德·科坎（Khichane，Madjid） 1 克孜尔坦、泽内普 1 伊夫·兰格 1 李伯翰 1 李晓东 1 阿诺德·利福吉 1 刘晓飞 1 安德烈·洛迪 1 佩德罗·洛佩兹·加西亚 1 弗朗西斯科·马菲奥利 1 克劳迪奥·马格尼 1 托尼·曼奇尼 1 伊曼纽尔·曼尼 1 金·万豪酒店 1 Ciaran McCreesh 1 克里斯托弗·米尔斯 1 罗曼·梅格尔 1 库尔特·梅尔霍恩 1 伊戈尔·梅拉蒂 …还有54位作者 全部的 前5名21篇连载文章中引用 16 约束条件 6 欧洲运筹学杂志 4 人工智能 4 运筹学年鉴 4 4OR（或） 三 计算机与运筹学 三 逻辑程序设计理论与实践 2 信息与计算 2 运筹学国际交易 2 启发式杂志 2 信息计算杂志 2 计算机基础理论 1 离散数学 1 理论计算机科学 1 计算机程序设计科学 1 函数编程杂志 1 调度日志 1 RAIRO公司。运筹学 1 ACM计算逻辑汇刊 1 国际运筹学杂志（台中） 1 数学规划计算 全部的 前5名在6个字段中引用 46 运筹学、数学规划（90-XX） 41 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 1 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文