退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:正式验证了非二元约束转换为二元约束
Catherine Dubois;
机译:约束满足问题的非二元约束排序启发式
机译:非二进制约束满足问题的二进制编码:算法和实验结果
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:信贷限制从正式金融机构对中国农村居民健康的影响
机译:约束满足问题的非二进制约束排序启发式
机译:约束管理和转换。
机译:用于视频编码的非二进制轮廓约束信令的方法和装置
机译:视频编码的非二进制轮廓约束信号传递的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。