机译:一种新的约束编程模型和基于线性编程的自适应大邻域搜索与同步约束的车辆路由问题
机译:与应用程序到任一或约束编程的切换约束的数学程序的实用条件和约束资格
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:教学限制性编程使用基于义的学习
机译:基于约束编程,AI规划和数学规划的决策图的优化方法
机译:医学教育中的程序学习。对最后一年医学生的心电图教学中采用常规讲授的教学机编程指令的实验比较。
机译:一种新的约束编程模型和基于线性编程的自适应大邻域搜索与同步约束的车辆路由问题