...
机译:基于约束检查器的全局约束重构
LINA FRE CNRS 2729, Ecole des Mines de Nantes, FR-44307 Nantes Cedex 3, France;
global constraints; automata; reformulation;
机译:使用模型重构和约束传播的工程中基于间隔的全局优化
机译:求解具有非光滑重组的互补性约束的数学程序的定点的全局收敛算法
机译:约束重构和基于拉格朗日松弛的求解算法,用于最小期望时间路径问题
机译:具有凸约束的C_2约束全局优化
机译:一种用于Rosetta的模块化,基于代数序列的变态约束类型检查器。
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:重新制定全球约束