退出
我的积分:
中文文献批量获取
外文文献批量获取
闫炜; 吴尽昭; 高新岩;
电子科技大学计算机科学与工程学院;
中国科学院成都计算机应用研究所;
SAT; 符号模拟; 合取范式; 变量划分;
机译:基于符号符号联合判决多模划分算法的混合时频域均衡,用于6×6模式多路复用系统
机译:基于变量的基于邻居Walksat的MAX-SAT问题算法
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:使用SAT求解器通过变量划分实现符号仿真
机译:学习SAT和MINSAT,以及量化SAT和MINSAT的算法。
机译:理想化的喉部模型基于图像的气道模型和自动网格划分算法的气雾输送到人肺的数值模拟
机译:一种基于saT的符号模拟重新参数化算法
机译:基于saT的符号仿真重新参数化算法
机译:用于SAT的基于分区的决策启发式算法以及使用SAT和BDD进行图像计算
机译:算法变量加密设备,算法变量解密设备,算法变量加密方法,算法变量解密方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。