莎莎舞

约束规划被认为是求解组合优化问题的一种有效方法。然而,它最好与其他优化范例(如局部搜索)结合使用,产生带有约束的混合算法。这样的组合缺少支持优雅描述的语言,并且保留了约束逻辑编程的原始声明性。我们提出了一种语言,SalSA,致力于指定(本地,全局或混合)搜索算法。我们从组合优化的几个例子说明了它的使用,我们用一些简单的高抽象级别的代码来指定复杂的优化过程。我们报告的初步实验表明,这样的语言可以实现在CP系统之上,为组合优化产生强大的环境。


ZBMaX中的参考文献(30篇)1标准条款

显示结果1至20的30。
按年份排序(引文
  1. 米歇尔,L;Van Hentenryck,P.:约束编程的微内核体系结构(2017)
  2. 施里夫斯,汤姆;塔克,圭多;Pieter,Samulowitz,霍斯特;Stuckey,Peter J.:搜索组合器(2013)
  3. Milano、Michela、华勒斯、马克:约束规划中的运筹学集成(2010)
  4. Caseau,YVES:结合约束传播和元启发式搜索最大权值Hamiltonian链(2006)
  5. LoudNi,萨米尔;Boizumault,帕特利斯;戴维,菲利普:ATM网络重路由的资源分配(2006)
  6. Milano、Michela、华勒斯、马克:约束规划中的运筹学集成(2006)
  7. Van Hentenryck,Pascal;米歇尔,劳伦特:混合搜索的非确定性控制(2006)
  8. 欧阳丹丹,艾米莉;罗思伯格,爱德华;勒帕普,克劳德:探索放松诱导的邻域来改进MIP解决方案(2005)
  9. KTATEL,IrIT;米歇尔,劳伦特;Van Hentenryck,Pascal:递增地保持最长路径(2005)
  10. 米歇尔,劳伦特;Van Hentenryck,Pascal:约束编程库的建模层(2005)
  11. Van Hentenryck,Pascal;米歇尔,劳伦特:混合搜索的非确定性控制(2005)
  12. Van Hentenryck,Pascal;米歇尔,劳伦特:局部搜索的抽象控制(2005)
  13. Van Hentenryck,Pascal;米歇尔,劳伦特;刘,Liyuan:基于约束的局部搜索组合器(2005)
  14. 弗兰纳,彼埃尔;皮尔森,贾斯廷;格伦,马格努斯:介绍ESRA,一种用于组合问题建模的关系语言(2004)
  15. 米歇尔,劳伦特;Van Hentenryck,Pascal:一种基于分解的搜索策略实现(2004)
  16. Van Hentenryck,Pascal;米歇尔,劳伦特:局部搜索的调度抽象(2004)
  17. Van Hentenryck,Pascal;米歇尔,劳伦特;刘,Liyuan:基于约束的局部搜索组合器(2004)
  18. 米歇尔,劳伦特;Van Hentenryck,Pascal:递增地保持最长路径(2003)
  19. Van Roy,彼得;品牌,Pukes;Dujier-Dunes;Haridi,SEIF;舒尔特,克里斯蒂安;Henz,马丁:多范式编程背景下的逻辑编程:OZ体验(2003)
  20. Caseau,Yves;JoSeT,弗兰Couoo-沙维尔;Laburthe,弗兰Couoo:克莱尔:组合集合、搜索和规则来更好地表达算法(2002)