弗朗索瓦·拉伯特;伊夫·卡索 SALSA:搜索算法语言。 (英语) Zbl 1020.68028号 约束条件 7,编号3-4,255-288(2002). 摘要:约束编程被认为是解决组合优化难题的有效技术。然而,它最好与其他优化范式(如局部搜索)结合使用,从而产生具有约束的混合算法。这种组合缺少一种支持优雅描述并保留约束逻辑编程的原始声明性的语言。我们提出了一种语言SALSA,专门用于指定(局部、全局或混合)搜索算法。我们在组合优化的几个例子中说明了它的使用,我们用几个高抽象级别的简单代码行指定了复杂的优化过程。我们的初步实验表明,这种语言可以在CP系统之上实现,为组合优化提供了强大的环境。 引用于1审查引用于15文件 MSC公司: 68页第10页 搜索和排序 关键词:搜索;混合算法;约束系统 软件:SALSA公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Laburthe}和\textit{Y.Caseau},约束7,No.3--4255-288(2002;Zbl 1020.68028) 全文: 内政部