Department of Intelligent Systems Hiroshima City University 3-4-1 Ozuka-Higashi, Asa-Minami-Ku, Hiroshima 731-3194, JAPAN;
constraint; solver; heterogeneous; interconnection; reconciliation;
机译:一种基于ILS的算法,用于解决具有多次行程和对接约束的大规模实际异构舰队VRP
机译:近似量化约束求解在异构代数中的不确定性传播
机译:基于机载热图像的应力指标,用于对水分不足的异质树种群进行表型分析
机译:用于协调异质树木的约束求解器
机译:EZSMT解算器:约束答案集解满足SMT。
机译:基于机载热图像的应力指标用于对水分不足的异质树种群进行表型分析
机译:基于ILs的多跳和对接约束求解大规模真实异构舰队VRp的算法
机译:异构分布式协同约束求解的协调.211软件工程