萨尔萨

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