机译:在构造性几何约束求解中处理冗余和不一致性
geometric constraint solving; computer-aided design; constructive approach; redundant constraints;
机译:将构造性几何约束求解器应用于带间隔参数的几何问题
机译:基于动态几何的构造几何约束求解中的可达性问题
机译:构造性几何约束求解器中解决方案空间的基于冲突的修剪
机译:建设性的几何约束作为KR的基于KR的声明空间推理的一般框架
机译:用于几何约束求解的图和组合算法。
机译:主核苷酸数据库中的重复冗余和不一致:描述性研究
机译:构造性几何约束求解中的符号约束