...
机译:距离约束的分支修剪求解器
constraint theory; iterative methods; manipulator kinematics; CAD/CAM; branch-and-prune solver; distance constraints; distance geometry; geometric elements; pairwise distance constraints; parallel manipulator; position analysis; serial manipulator; Branch-and-prune;
机译:距离不精确的可离散分子距离几何问题的区间分支修剪算法
机译:关于“分子距离几何问题的分支修剪算法”的注释
机译:分子距离几何问题的分支修剪算法
机译:一种求解距离约束系统的分支修剪算法
机译:EZSMT解算器:约束答案集解满足SMT。
机译:使用短距离交联约束求解蛋白质结构作为离散分子动力学模拟的指南
机译:距离约束的分枝和剪枝解算器