彗星

基于约束的局部搜索。从供应链管理到体育赛事调度，优化技术的新应用领域说明了组合优化问题在当今社会的普遍存在。在过去的二十年里，约束编程已经成为解决各种组合问题的基本方法，并且开发了丰富的约束编程语言来表达和组合约束，并在高度抽象的层次上指定搜索过程。组合优化的局部搜索方法能够在合理的时间约束下分离出最优解或近似最优解。这本书介绍了一种解决组合优化问题的方法，它结合了约束编程和局部搜索，使用约束来描述和控制局部搜索，并介绍了一种编程语言COMET，它以约束编程的精神支持建模和搜索抽象。在概述了包括邻域、启发式和元启发式的局部搜索之后，本书介绍了基于约束的局部搜索的体系结构、建模和搜索组件，并描述了COMET如何支持基于约束的局部搜索。这本书描述了各种各样的应用，由元启发式排列。它介绍了调度应用程序，以及理解这些具有挑战性的问题所需的背景知识。这本书还包括一些可满足性问题，说明了基于约束的局部搜索方法以统一的方式处理可满足性和优化问题的能力。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献80篇文章,1标准件)

显示第1到第20个结果，共80个。
按年份排序(引用)
  1. 纪尧姆，埃斯卡莫切；奥沙利文，巴里：《棋盘上的小妖精》（2021）
  2. 米歇尔，L。；肖斯，P。；Van Hentenryck，P.：MiniCP：约束编程的轻量级求解器（2021）
  3. 特苏皮迪，罗多西娅·梅尔西尼；洛扎诺，罗伯托·卡斯塔涅达；Baudry，Benoit:JOP gadgets的基于约束的多样化（2021）
  4. 韦纳，杰克；恩斯特，安德烈亚斯T。；李晓东；孙，元；Deb，Kalyanmoy:用修正的拉格朗日粒子群优化混合算法求解最大边不相交路径问题（2021）
  5. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
  6. 秦、天宝；杜玉泉；陈江航；沙梅：混合整数规划与约束规划相结合求解单船集装箱装卸作业综合调度问题（2020）
  7. Ślażynski，Mateusz:局部搜索邻域算子自动合成研究报告（2019）
  8. Ślażynski，马特乌斯；萨尔瓦多阿布鲁；Nalepa，Grzegorz J.：用综合逻辑程序生成局部搜索邻域（2019）
  9. 根特，伊恩·P。；米格尔，伊恩；南丁格尔，彼得；麦克里斯，西兰；普洛瑟，帕特里克；摩尔，尼尔·C·A。；Unsworth，Chris:并行约束求解文献综述（2018）
  10. 阿达莫，托马索；吉亚尼，吉安帕洛；格里科，安东尼奥；格雷里罗，伊曼纽拉；Manni，Emanuele:基于语义特征提取和自动算法配置的MIP邻域合成（2017）
  11. 枪，头饰；干，安东；尼森，齐格弗里德；塔克，吉多；De Raedt，Luc:MiningZinc:基于约束的采矿的声明性框架（2017）
  12. 米歇尔，L。；Van Hentenryck，P.：约束编程的微内核架构（2017）
  13. Umetani，Shunji:在大型二进制整数程序中利用变量关联配置高效的局部搜索算法（2017）
  14. 赛尔，安德烈A。；胡克，约翰·N。；Yunes，Tallys:用元约束建模和变量的语义类型（2016）
  15. 希玛列夫，马克西姆；米尔斯，克里斯托弗；塔克，吉多；Garcia de la Banda，Maria:视觉搜索树分析（2016）
  16. 比约达尔，古斯塔夫；莫内特，让·诺埃尔；弗莱纳，皮埃尔；Pearson，Justin:MiniZinc基于约束的本地搜索后端（2015）
  17. 卡努，伊夫；科多涅特，菲利普；弗罗里安里丘；迪亚兹，丹尼尔；Abreu，Salvador:基于约束的局部搜索的大规模并行：costas阵列案例研究（2015）
  18. Sörensen，Kenneth:元启发式——隐喻暴露（2015）
  19. 施里杰弗斯，汤姆；德蒙，巴特；特里斯卡，马库斯；Desouter，Benoit:\textscTor:带可挂接分离的模块化搜索（2014）
  20. 阿卜杜拉，A.奈特；van Emden，M.H.：约束传播作为信息最大化（2013）