软件搜索-zbMATH Open

CP优化器

swMATH ID:	38499
软件作者：	菲利普·拉博里；杰罗姆·罗杰里
描述：	IBM ILOG CP Optimizer中的时间线性松弛。IBM ILOG CP Optimizer是一个约束求解器，它实现了模型与运行范式。对于调度问题，CP Optimizer基于区间变量的概念提供了一种相对简单但非常有表现力的建模语言。本文提出了时间线性松弛（TLR）方法，用于指导求解涉及时间和资源分配成本的调度问题时的自动搜索。我们给出了TLR的基本原理，描述了它在CP Optimizer自动搜索中的集成，并给出了模型的大多数约束和表达式的松弛。对一组经典调度基准的实验研究表明，使用TLR对于时间成本不规则的问题至关重要，通常有助于解决资源分配成本问题。
主页：	https://link.springer.com/article/10.1007/s10951-014-0408-7
依赖项：	CPLEX公司
相关软件：	ILOG时间表;PSPLIB公司;迷你锌;CPLEX公司;炸薯条;github;Gecode公司;乔科;JOBSHOP公司;萨特齐拉;CHUFFED公司;OR-醇;达奇;AClib（AClib）;亚当;PyTorch公司;4.5条;威卡;SIMPL公司;十二国集团
引用于：	9文件