机译:珠穆朗玛峰分布式环境中分支限界算法的并行并行化实现
机译:BinProlog经验:继续通过Prolog和一流逻辑引擎的体系结构和实现选择
机译:异构HPC环境中并行计算声场分布的并行算法
机译:多引擎Prolog并行性中的并发编程构造仅用于内核(并且不多!)
机译:并线epsilon逼近最短路径算法的并行实现并行查询。
机译:结合算法来预测细菌蛋白亚细胞的位置:并行与并行实现
机译:OR并行优化Prolog系统:POPS在并行Prolog中的设计与实现
机译:伪多边形平均时间并行最大流算法