...
机译:在HAL中优化约束处理规则的编译
Department of Medical Cybernetics and Art. Intelligence, University of Vienna, Austria;
constraint handling rules; optimizing compilation;
机译:使用约束处理规则和数组约束归纳进行程序验证
机译:约束处理规则中的软件约束传播和求解
机译:逻辑算法符合CHR:具有规则优先级的约束处理规则的元复杂性结果
机译:优化约束处理规则的编译和计算复杂度论文摘要
机译:车辆处理任务中多个约束条件下人形机器人的运动优化。
机译:从封面开始:几何约束(从头到尾的排除规则)可能是具有60个以上顶点的富勒烯中孤立五边形规则的基础
机译:优化HAL中约束处理规则的编译