OPL中的约束与整数规划

@第{Hentenryck2002ConstraintAI条，title={OPL}中的约束和整数编程，author={Pascal Van Hentenryck}，journal={INFORMS J.计算}，年份={2002}，体积={14}，页码={345-372}，url={https://api.semanticscholar.org/CorpusID:13354403}}
本文的目的是利用OPL说明组合优化的约束规划方法以及约束规划和整数规划的互补优势。
通过Publisher查看
85引文
极具影响力的引文
7
背景引文
27
方法引文
16
结果引文
2

本文中的数字

85引文

过程语言和并发语言中的约束

逻辑程序设计理论与实践出版的思考与Picat组合搜索

Picat提供了解决组合搜索问题的工具，包括与CP、SAT和MIP解算器的通用接口、动态编程表和规划模块，在最近的ASP竞赛中使用的规划基准上，该模块的表现超过了先进的ASP和PDDL规划师。

通过通用接口比较CP、IP和SAT解算器

本文通过相同的接口比较了B-Prolog的CLP（FD）、CPLEX IP求解器和Lingeling SAT求解器在几个问题上的性能，并针对每个问题比较了一个使用布尔变量的模型和另一个使用通用整数变量的模型。

约束编程手册

基于约束的局部搜索

本书介绍了一种解决组合优化问题的方法，该方法结合了约束编程和局部搜索，使用约束来描述和控制局部搜索，以及一种编程语言COMET，它支持以约束编程的精神进行建模和搜索抽象。

生产计划与调度的混合整数规划和约束规划

在本文中，提出了一种使用混合整数规划（MIP）和约束规划（CP）在AC中建模和解决规划和调度问题的解决方案。A之前…

约束规划与数学规划相结合求解资源约束项目调度问题

提出并证明了利用整数规划（IP）模型求解资源约束项目调度问题（RCPSP）的预处理方法，以及IP模型的有效不等式理论。

约束满足问题的改进：综述

本文概述了重新格式化，重点介绍了在CSP重新格式化方面所做的贡献，在这方面已经取得了显著的性能改进，并提出了一种用于计数器自动机重新格式化的编译器。

整数规划和约束规划在求解具有截止期和发布日期的多机指派调度问题中的应用

这项工作考虑了分支和列生成方法，以解决将具有发布日期和截止日期的作业分配给不相关的并行机的最小成本问题，找到最有效的策略是结合紧凑但近似的混合整数规划（MIP）用全局约束的公式测试单机的可行性。

混合动态网络的优化建模*

这项工作提供了一种更丰富的建模语言，通过定义自动生成MIP的转换，将模块化混合自动机和逻辑模型结合到现有的解决方案方法中。
...

74参考文献

OPL中的约束编程

本文说明了OPL在使用频率分配、运动计划和job-shop调度应用程序进行约束编程时的一些功能，并在一个简单的配置示例中说明了如何使用OPLSCRIPT组合OPL模型。

OPL中的搜索和策略

描述了OPL的抽象，以指定搜索树（search）和如何探索它（strategies），并说明了如何使用这些高级结构来实现约束规划和调度中的传统搜索过程。

SALSA：搜索算法语言

这项工作提出了一种专门用于指定（局部、全局或混合）搜索算法的语言SALSA，并报告了初步实验，表明这种语言可以在CP系统之上实现，从而为组合优化提供了强大的环境。

约束逻辑程序设计中车次问题的求解

将CHIP应用于汽车制造中装配线调度中的车辆排序问题，结果表明，CHIP通过大大简化问题陈述，不仅提供了Altool所期望的灵活性，而且还提供了解决大型装配线问题的效率。

逻辑程序设计中的约束满足

“逻辑程序设计中的约束满足”中引入的思想已成功地用于解决运筹学和电路设计中的十多个实际问题，包括析取调度、仓库选址、切割料车排序和微码标记问题。

约束逻辑程序设计综述

Conjunto：有限集域约束逻辑编程

    C.女贞
    计算机科学、数学
    仪表着陆点
  • 1994
定义了一种新的带有集合约束的CLP语言Conjunto，其目的是将Prolog的声明性方面与约束求解技术的效率相结合，将集合变量约束在由集合包含的上下限指定的有限集域上。

无辅助二进制变量组合优化问题的分枝切割法

这项工作提出了一种分支方法，该方法考虑组合约束，而不引入二进制变量，并显示了如何使用多面体组合学的思想导出强大的约束。

约束编程中的搜索过程和并行性

对约束编程中的搜索过程进行了重大改进，它集成了AI和OR的各种搜索过程，并添加了面向对象的可扩展控制语言，以实现复杂的完整和不完整搜索过程。

Oz规划模型

Oz编程模型是一个并发编程模型，它将高阶函数和面向对象编程作为通用模型的方面，并可以扩展，以便它可以表示封装的问题求解器，从而概括出约束逻辑编程的问题解决能力。
...