喂，巴斯尔;斯科特·桑纳 非线性区域的度量混合因子规划及约束生成。 （英语） Zbl 1527.68214号 Rousseau，Louis-Martin（编辑）等人，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11494, 502-518 (2019). 摘要：我们介绍了一种新的规划器SCIPPlan，用于具有一般度量目标、指数等超越函数和瞬时连续作用的非线性域的度量混合因子规划。我们的主要贡献是在非线性约束生成框架中利用SCIP的空间分枝定界解算器，在该框架中，我们使用域模拟器迭代检查松弛计划的时间可行性，并通过一种新的非线性约束生成方法修复不可行性的来源。我们在多个领域对SCIPPlan进行了实验评估，表明它在运行时间和总工期方面与ENHSP竞争，或优于ENHSP，并处理一般度量目标。在具有指数转移函数和度量目标的非线性域中，SCIPPlan与一般的基于度量优化的无约束张量流规划器（TF-Plan）也具有竞争力。总的来说，这项工作展示了将非线性优化器与约束生成相结合的潜力，以便在表达性度量非线性混合域中进行规划。关于整个系列，请参见[Zbl 1410.68020号]. 引用于2文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90立方厘米 非线性规划 关键词：度量混合规划;非线性最优化;约束生成 软件：SCIP公司;UPMurphi公司;SCIP计划;科林;TensorFlow公司 PDF格式BibTeX公司 XML格式引用 \textit{B.说}和\textit{S.Sanner}，莱克特。注释计算。科学。11494、502--518（2019；Zbl 1527.68214） 全文： 内政部