萨尔萨

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


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

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. 米歇尔,L。;Van Hentenryck,P.:约束编程的微内核架构(2017)
  2. 施里杰弗斯,汤姆;塔克,吉多;维尔,皮尔;萨穆洛维茨,霍斯特;Stuckey,Peter J.:搜索组合(2013)
  3. 米拉诺,米拉诺;华莱士,马克:在约束编程中整合运筹学(2010)
  4. Caseau,Yves:结合约束传播和元启发式搜索最大权哈密顿链(2006)
  5. 劳德尼,萨米尔;博伊祖莫尔特,帕特里斯;David,Philippe:具有重路由的ATM网络的在线资源分配(2006)
  6. 米拉诺,米拉诺;华莱士,马克:在约束编程中整合运筹学(2006)
  7. 范亨登里克,帕斯卡;Michel,Laurent:混合搜索的不确定性控制(2006)
  8. 丹娜,艾米莉;罗斯伯格,爱德华;Le Pape,Claude:探索放松诱导的邻里关系以改进MIP解决方案(2005)
  9. 凯瑞尔,伊里特;米歇尔,劳伦特;Van Hentenryck,Pascal:增量维护最长路径(2005)
  10. 米歇尔,劳伦特;Van Hentenryck,Pascal:约束编程库的建模层(2005)
  11. 范亨登里克,帕斯卡;Michel,Laurent:混合搜索的不确定性控制(2005)
  12. 范亨登里克,帕斯卡;Michel,Laurent:用于局部搜索的控制抽象(2005)
  13. 范亨登里克,帕斯卡;米歇尔,劳伦特;刘丽媛:基于约束的局部搜索组合子(2005)
  14. 弗莱纳,皮埃尔;皮尔逊,贾斯汀;Ågren,Magnus:介绍ESRA,一种用于组合问题建模的关系语言(2004)
  15. 米歇尔,劳伦特;Van Hentenryck,Pascal:基于分解的搜索策略实现(2004)
  16. 范亨登里克,帕斯卡;Michel,Laurent:为本地搜索安排摘要(2004)
  17. 范亨登里克,帕斯卡;米歇尔,劳伦特;刘丽媛:基于约束的局部搜索组合子(2004)
  18. 米歇尔,劳伦特;Van Hentenryck,Pascal:增量维护最长路径(2003)
  19. 范罗伊,彼得;品牌,Per;公爵夫人,丹尼斯;哈里迪,赛义夫;舒尔特,基督徒;Henz,Martin:多路径编程环境下的逻辑编程:Oz经验(2003)
  20. 凯索,伊夫;乔塞特,弗朗索瓦·泽维尔;拉伯特,弗朗索瓦:克莱尔:结合集合,搜索和规则来更好地表达算法(2002)