Cooperative path-finding (CPF); Propositional satisfiability (SAT); SAT encodings; A~*;
机译:基于时间扩展的基于图的命题编码,用于对协作路径查找问题进行最优求解
机译:基于有轨线的算法,在有向图中找到k条最短的简单路径
机译:在有向图中找到k个最短的简单路径:节点分类算法
机译:协作路径查找的简单直接命题编码得到简化
机译:在方向,位置和时间相关的环境中找到最佳路径。
机译:利用内部AUG密码子启动蛋白质合成该蛋白质合成由编码单纯疱疹病毒指定的胸苷激酶的正常基因和突变基因的mRNA指导。
机译:基于sidetrack的有向图中k个最短路径的求解算法
机译:在有向平面图中寻找K个不相交路径