彗星

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

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


zbMATH中的参考文献(70篇文章中引用了,1标准件)

显示第1到第20个结果,共70个。
按年份排序(引用)
  1. 秦天宝;杜玉泉;陈江航;沙梅:混合整数规划与约束规划相结合求解单船集装箱装卸作业综合调度问题(2020)
  2. Gent,Ian P.;Miguel,Ian;Nightingale,Peter;McCreesh,Ciaran;Prosser,Patrick;Moore,Neil C.A.;Unsworth,Chris:并行约束求解文献综述(2018)
  3. Adamo,Tommaso;Ghiani,Gianpaolo;Grieco,Antonio;Guerriero,Emanuela;Manni,Emanuele:通过语义特征提取和自动算法配置进行MIP邻域合成(2017)
  4. Guns,Tias;Dries,Anton;Nijssen,Siegfried;Tack,Guido;De Raedt,Luc:基于约束的采矿的声明性框架(2017)
  5. Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017)
  6. Umetani,Shunji:在大型二进制整数程序中利用变量关联配置高效的局部搜索算法(2017)
  7. Cire,Andre A.;Hooker,John N.;Yunes,Tallys:用元约束和变量语义类型进行建模(2016)
  8. Shishmarev,Maxim;Mears,Christopher;Tack,Guido;Garcia de la Banda,Maria:视觉搜索树分析(2016)
  9. 比约达尔,古斯塔夫;莫内特,让诺埃尔;弗莱纳,皮埃尔;皮尔森,贾斯汀:MiniZinc基于约束的本地搜索后端(2015)
  10. Caniou,Yves;Codognet,Philippe;Richoux,Florian;Diaz,Daniel;Abreu,Salvador:基于约束的局部搜索的大规模并行:costas数组案例研究(2015)
  11. 《启示录》,肯尼思《隐喻》,2015年)
  12. Tom Schrijvers;Demoen,Bart;Triska,Markus;Desoert,Benoit:\ textscTor:带可挂接析取的模块化搜索(2014)
  13. Abdallah,A.Nait;van Emden,M.H.:约束传播作为信息最大化(2013)
  14. Ansótegui,Carlos;Bofill,Miquel;Palahí,Miquel;Suy,Josep;Villaret,Mateu:通过重新表述为可满足性模理论来求解带有元约束的加权CSP(2013)
  15. Gualandi,Stefano;Maffioli,Francesco;Magni,Claudio:A branch and price approach to(k)-聚类最小双解完备问题(2013)
  16. Humeau,J.;Liefooghe,A.;Talbi,E.-G.;Verel,S.:ParadisEO-MO:从适应度景观分析到有效的局部搜索算法(2013)
  17. Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013)
  18. 袁元;徐华:大规模柔性作业车间调度问题的集成搜索启发式算法(2013)
  19. Hermenegildo,M.V.;Bueno,F.;Carro,M.;López García,P.;Mera,E.;Morales,J.F.;Puebla,G.:Ciao及其设计理念概述(2012年)
  20. 克孜尔坦,泽内普;洛迪,安德里亚;米兰,米歇拉;帕里西尼,法比奥:基于CP的局部分支的边界、过滤和多样化(2012)