退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过布尔和区间算术推理简化RTL SAT
G. Parthasarathy; M. K. Iyer; K. -t. Cheng; F. Brewer;
机译:逐步间隔算术和模糊间隔算术
机译:RTL集雄心勃勃的SVOD目标,拒绝Pro7SAT.1协作
机译:RTL和Sat.l团队相互竞争
机译:自适应急切布尔编码,用于验证中的算术推理。
机译:通过哺乳动物细胞中DNA切除的布尔逻辑和算术的单层平台
机译:RTL数据路径中基于区间算术和自相似的亚阈值泄漏优化
机译:验证中算术推理的自适应Eager布尔编码
机译:布尔可满足性(SAT)的知识推理方法
机译:第二输入任务3的第一布尔组合任务输入2输入任务3的第二布尔组合的逻辑积输入三输入算术逻辑单元
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。