退出
我的积分:
中文文献批量获取
外文文献批量获取
郑昌顺; 孙建国; 王先建; 蔡丽君; 夏银水;
宁波大学电路与系统研究所;
流水线; 工位安排; 生产节拍; 工位数; 算法;
机译:基于多级伪布尔可满足性的分段信道路由方法
机译:使用伪布尔可满足性的最大电路活动估计
机译:图的加权稳定性数和加权可满足性:伪布尔优化的两个方面
机译:使用仿真,布尔可满足性和伪布尔优化的可逆电路ATPG
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:基于可满足性的伪布尔优化算法使用Gomory Cuts和search Restart
机译:基于力觉自适应控制的射流发动机组件数控多工位磨削可行性研究。
机译:利用数据限定符信号改进基于输入设计生成的布尔可满足性求解器的方法和装置
机译:基于带有数据质量信号输入设计的布尔可满足性求解器的改进方法和装置
机译:基于多目标布尔可满足性的测试模式生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。