退出
我的积分:
中文文献批量获取
外文文献批量获取
陈秀兰; 刘婷;
西南交通大学系统可信性自动验证国家地方联合工程实验室,四川成都610031;
SAT问题; 分支启发式算法; VSIDS; 决策层; 冲突决策层; 变量冲突频率;
机译:基于耦合热机械有限元求解器的大应变孪晶,显式动态骨折与古典斯特凡问题的耦合热机械有限元求解器的实现
机译:通过CDCL SAT求解器中的单位传播进行子句化
机译:基于聚类和荟萃启发式算法的节能动态资源管理方法IAAS平台:节能动态云资源管理
机译:CDCL SAT求解器基于冲突率的分支启发法
机译:流数据中的零日攻击识别:Spark生态系统中的最近邻居启发式算法和动态语义网络生成
机译:sUmO化通过靶向CDCl 3调节端粒长度动态平衡
机译:基于组合的并行CDCL saT求解器的缓存性能研究
机译:金属卤化物的蒸汽压力。 CdCl2-snCl2,CdCl2-ZnCl2,pbCl2-snCl2和pbCl2-ZnCl2二元体系
机译:基于lazy-grounding的ASP求解器的分支启发
机译:结合应用感知分支的基于DPLL的SAT求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。