Universidad Tecnica Federico Santa Maria, Valparaiso, Chile;
机译:一种解决定性空间约束满足问题的半动力学方法
机译:解决约束满足问题的枚举策略的动态选择
机译:基于遗传编程的超级启发式方法,用于求解技术优先约束的动态作业商店调度问题
机译:解决约束满足问题的递归拆分,求解和联接策略
机译:一种同时扰动方法,用于解决具有排放,存储和网络约束的经济调度问题。
机译:使用短距离交联约束求解蛋白质结构作为离散分子动力学模拟的指南
机译:一种解决定性空间约束满足问题的半动力学方法
机译:约束求解策略模型;软件工程部