彗星

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

这个软件也是同行评审通过期刊toms.

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（69篇）1标准条款）

显示结果1至20的69。
按年份排序（引文）
  1. 绅士、Ian P.、米格尔、伊恩、南丁格尔、彼得、麦克里什、Ciaran、普罗瑟、帕特里克、Pig、y、Unsworth、Y:平行约束求解文献综述（2018）
  2. 阿达莫，Tommaso；Ghiani，Gianpaolo；GriCo，安东尼奥；Guerriero，Enimuela；MaNi，Enimuele：MIP邻域合成的语义特征提取和自动算法配置（2017）
  3. 枪，提斯，德莱斯，Anton；Nijssen，西格弗里德；塔克，圭多；De Raedt，卢克：明锌：一种基于约束的挖掘的声明框架（2017）
  4. 米歇尔，L；Van Hentenryck，P.：约束编程的微内核体系结构（2017）
  5. Umetani，顺机：利用变量关联在大规模二进制整数程序中配置有效的局部搜索算法（2017）
  6. CIEE，Andre A.；胡克，John N.；Yunes，塔利斯：变元建模和变量语义分型（2016）
  7. Shishmarev，马克西姆；米尔斯，克里斯托弗；塔克，圭多；加西亚·德拉班达，玛丽亚：视觉搜索树分析（2016）
  8. BJ OrdAl，Gustav；Monette，让诺尔；FLIENER，彼埃尔；皮尔森，贾斯廷：MimIZIN的基于约束的局部搜索后端（2015）
  9. Chaniou，Yves；CopdoNET.Fielppe；Richoux，弗洛里安；迪亚兹，丹尼尔；阿夫雷乌，萨尔瓦多：基于约束的局部搜索的大规模并行性：科斯塔斯阵列案例研究（2015）
  10. S·伦森，肯尼斯：超启发式——隐喻暴露（2015）
  11. Bart，TrISKA，Markus；Desouter，班诺特：\ Tr.TcScTo:具有可交换析取的模块化搜索（2014）
  12. 阿卜杜拉，A. Nait；van Emden，M. H.：信息最大化的约束传播（2013）
  13. 卡洛斯、波菲尔、Miquel、Palayi、Miquel、Suy、Josep、Valayt、Matue:通过重构为可满足性模理论解决具有元约束的加权CSP（2013）
  14. 瓜兰地，斯蒂法诺；MaffioLi，弗朗西斯科；Mangi，克劳迪奥：（k）-聚类最小BiLRKE完工问题的分支和价格方法（2013）
  15. HuMeau，J；Liefooghe，A.；TalBi，E.G.；Verel，S.：Palutheo Mo：从适配景观分析到有效的局部搜索算法（2013）
  16. 施里夫斯，汤姆；塔克，圭多；Pieter，Samulowitz，霍斯特；Stuckey，Peter J.：搜索组合器（2013）
  17. 袁，袁；徐，华：大规模柔性作业车间调度问题的综合搜索启发（2013）
  18. Hermenegildo，M. V.；BueNo，F；Carro，M；L·Pez GARC A，P；Mela，E；莫拉莱斯，J. F.；普埃布拉，G.：CIAO的概述及其设计哲学（2012）
  19. Kiziltan，Zeynep；洛代，安德列；Milano，Michela；帕里西尼，法比奥：基于CP的局部分支的边界、过滤和多样化（2012）
  20. Pham，Quang Dung；Deville，YVES；van Hentenryck，Pascal：LS（图）：树和路径约束优化的基于约束的局部搜索（2012）