斯皮普兰

具有约束生成的非线性区域中的度量混合因子规划。本文介绍了一种新的规划器SCIPPlan，用于一般度量目标、指数等超越函数和瞬时连续作用的非线性域中的度量混合因子规划。我们的主要贡献是在一个非线性约束生成框架内利用SCIP的空间分支和边界解算器，在该框架中，我们使用域模拟器迭代检查松弛计划的时间可行性，并通过一种新的非线性约束生成方法修复不可行性的根源。我们实验性地评估了SCIPPlan在不同的领域，显示它在运行时间和makespan方面与ENHSP竞争，或者优于ENHSP，并且能够处理一般的度量目标。SCIPPlan在具有指数转移函数和度量目标的非线性域中与一般的度量优化无约束张量流规划器（TF-Plan）具有竞争性。总的来说，这项工作展示了将非线性优化器与约束生成相结合在表达度量非线性混合域中进行规划的潜力。