退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在动态BDD最小化过程中使用下限
Rolf Drechsler; Wolfgang Gunther; PRolf Drechsler;
机译:改进的下限对动态BDD重新排序的影响
机译:结合有序的最佳优先搜索与分支和绑定,以实现精确的BDD最小化
机译:精确的BDD最小化的改进的分支定界算法
机译:复杂性下限与元计算上限之间的连接
机译:从头算分子动力学数据使用相对熵最小化的反应性分子动力学模型
机译:在动态BDD最小化期间使用下限
机译:使用动态管理的云访问限制将安全密钥暴露最小化的系统和方法
机译:动态切换静态绑定的函数调用到动态绑定的函数调用,而无需重新复杂化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。