退出
我的积分:
中文文献批量获取
外文文献批量获取
王先建;
宁波大学;
机译:基于多级伪布尔可满足性的分段信道路由方法
机译:通过满足需求的容错CMOL单元分配
机译:基于CMOL单元映射优化的基于缺陷公差方法的缺陷细胞重用
机译:用于CMOL单元分配的伪布尔编程方法
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:通过可满足性缺陷可缺陷CMOL单元分配
机译:在对称性存在下解决布尔可满足性的难点实例
机译:通过布尔可满足性解决设备引脚多路复用器配置并生成代码
机译:通过布尔可满足性解决设备引脚复用配置和代码生成问题
机译:可重新配置的硬件加速器,用于布尔可满足性求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。