退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用命中集对偶化发现约束的最小不满足子集
James Bailey; Peter J. Stuckey;
机译:计算约束的最小不满足子集的算法
机译:通过子集重组计算所有最小命中集
机译:通过子集重组计算所有最小的击球组
机译:用能量插值法求解随机约束满足问题的不满足边界
机译:随机生物网络上循环约束的潜在不满足性将选择偏向于层次结构
机译:计算最小不满足约束子集的算法
机译:监测和控制温室气体排放的系统实体,具有与个人和/或设备的集合和/或子集合相关联的代理客户端,以及分配给集合和/或子集的标识符
机译:缓存命中检测设备和约束集关联缓存的方法
机译:顺序存储单元约束例如建立时间,标准特征库特征文件的评估方法,涉及通过将偏差添加到约束值集来计算信号斜坡的约束值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。