萨尔萨

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


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

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017)
  2. Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013)
  3. Milano,Michela;Wallace,Mark:约束编程中的集成运筹学(2010)
  4. Caseau,Yves:结合约束传播和元启发式搜索最大权哈密顿链(2006)
  5. Loudni,Samir;Boizumault,Patrice;David,Philippe:具有重路由的ATM网络的在线资源分配(2006)
  6. Milano,Michela;Wallace,Mark:约束编程中的集成运筹学(2006)
  7. Van Hentenryck,Pascal;Michel,Laurent:混合搜索的非确定性控制(2006)
  8. 丹娜,艾米莉;罗斯伯格,爱德华;勒帕普,克劳德:探索放松诱导的社区,以改善MIP解决方案(2005)
  9. 凯特瑞尔,爱尔兰理工学院;米歇尔,劳伦特;范亨特莱克,帕斯卡:《增量维护最长路径》(2005)
  10. Michel,Laurent;Van Hentenryck,Pascal:约束编程库的建模层(2005)
  11. Van Hentenryck,Pascal;Michel,Laurent:混合搜索的非确定性控制(2005)
  12. Van Hentenryck,Pascal;Michel,Laurent:用于局部搜索的控制抽象(2005)
  13. Van Hentenryck,Pascal;Michel,Laurent;Liu,Liyuan:基于约束的局部搜索组合子(2005)
  14. Pierre Flener;Pearson,Justin;ígren,Magnus:介绍用于组合问题建模的关系语言ESRA(2004)
  15. Michel,Laurent;Van Hentenryck,Pascal:基于分解的搜索策略实现(2004)
  16. Van Hentenryck,Pascal;Michel,Laurent:用于局部搜索的调度抽象(2004)
  17. Van Hentenryck,Pascal;Michel,Laurent;Liu,Liyuan:基于约束的局部搜索组合子(2004)
  18. Michel,Laurent;Van Hentenryck,Pascal:增量维护最长路径(2003)
  19. Van Roy,Peter;Brand,Per;ducher,Denys;Haridi,Seif;Schulte,Christian;Henz,Martin:多路径编程环境下的逻辑编程:Oz体验(2003)
  20. Caseau,Yves;Josset,François Xavier;Laburthe,François:CLAIRE:组合集合、搜索和规则以更好地表达算法(2002)