彗星

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

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


zbMATH中的参考文献(参考文献73篇文章,1标准件)

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