退出
我的积分:
中文文献批量获取
外文文献批量获取
孙吉贵; 景沈艳;
吉林大学计算机科学与技术学院;
长春;
130012;
吉林大学符号计算与知识工程教育部重点实验室;
复旦大学智能信息处理开放实验室;
上海;
200433;
约束满足问题; 非二元CSP求解; 约束传播; 弧相容; 正向检查;
机译:非二元约束满足性问题的强域滤波一致性
机译:约束满足问题的非二元约束排序启发式
机译:分区搜索以实现非二元约束满足
机译:关于非二元约束满足和二元约束满足问题的转换
机译:PHOENICS:通过非侵入式交互式约束满足对硬件/软件嵌入式系统进行分区。
机译:在全州范围的非概率样本中比较非二元和二元跨性别成年人的健康
机译:针对非二元约束满足问题的强区域过滤一致性
机译:二元约束满足问题的双视点启发式算法
机译:约束满足问题求解中的动态回跳
机译:具有部分整个层次约束的动态约束满足问题求解器
机译:动态约束满足问题求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。