航向信标

航道。局部搜索是解决组合搜索问题的一种传统技术,近年来引起了人们的广泛关注。一般来说,局部搜索算法的设计和实现不是一件容易的事情,可能需要大量的实验和编程工作。然而,与全局搜索相反,很少有人支持局部搜索算法的设计和实现。本文描述了一种用于实现局部搜索算法的建模语言Localizer的设计与实现。定位器使局部搜索算法能够用接近科学论文中非正式描述的符号来表示。在布尔可满足图着色、图划分、车间调度等方面的实验结果表明了该方法的可行性。


zbMATH中的参考文献(参考文献20条,1标准件)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. 不,耶;Strichman,Ofer:使用最优算法组合实时解决计算困难问题(2021)
  2. Umetani,Shunji:在大型二进制整数程序中利用变量关联配置高效的局部搜索算法(2017)
  3. Ciancia,Vincenzo;拉特拉,迭戈;洛蕾蒂,米歇尔;Massink,Mieke:闭包空间的模型检验空间逻辑(2016)
  4. 贝诺主义者,蒂埃里;埃斯特隆,贝特朗;加德,弗里德里克;梅格尔,罗曼;Nouioua,Karim:LocalSolver 1.x:0-1编程的黑盒本地搜索解算器(2011)
  5. 米拉诺,米歇拉;华莱士,马克:在约束编程中整合运筹学(2010)
  6. 弗里希,艾伦·M。;哈维,沃里克;杰斐逊,克里斯;马丁内斯埃尔南德斯,伯纳黛特;米格尔,伊恩:本质:用于指定组合问题的约束语言(2008)
  7. 奥格伦,马格努斯;弗莱纳,皮埃尔;Pearson,Justin:用于局部搜索的一般增量算法(2007)
  8. 迪吉夫里,西蒙;Jeannin,Laurent:约束编程中部分和混合搜索方法的统一框架(2006)
  9. 米拉诺,米歇拉;华莱士,马克:在约束编程中整合运筹学(2006)
  10. 范亨登里克,帕斯卡;Michel,Laurent:可微不变量(2006)
  11. 凯瑞特,凯瑞尔;米歇尔,劳伦特;Van Hentenryck,Pascal:增量维护最长路径(2005)
  12. 范亨登里克,帕斯卡;Michel,Laurent:用于局部搜索的控制抽象(2005)
  13. 范亨登里克,帕斯卡;米歇尔,劳伦特;刘丽媛:基于约束的局部搜索组合子(2005)
  14. 范亨登里克,帕斯卡;Michel,Laurent:为本地搜索安排摘要(2004)
  15. 范亨登里克,帕斯卡;米歇尔,劳伦特;刘丽媛:基于约束的局部搜索组合子(2004)
  16. 米歇尔,劳伦特;Van Hentenryck,Pascal:增量维护最长路径(2003)
  17. 米歇尔,劳伦特;Van Hentenryck,Pascal:航向仪(2000)
  18. 辛普夫,约阿希姆;华莱士:寻找正确的混合算法——一个组合元问题(2000)
  19. 米歇尔,劳伦特;vanhentenryck,Pascal:LOCALIZER:一种用于局部搜索的建模语言。(1999年)
  20. van Hentenryck,Pascal:LOCALIZER:一种用于本地搜索的建模语言(1999)