退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于子句学习SAT求解器的高效算法
Ryan, Lawrence;
Simon Fraser University (Canada);
机译:子句学习SAT求解器作为解析引擎的功能
机译:组合近似算法的技术为随机2k-SAT提供了高效的算法
机译:具有许多重新启动和有界宽度分辨率的子句学习算法
机译:在冲突驱动子句学习SAT解算器中了解VSIDS分支启发法
机译:遗传算法解决GPU上最大3SAT问题的遗传算法
机译:解决随机K-SAT问题的回溯测量传播算法
机译:混合高效遗传算法解决双目标优化问题的系统及其在网络计算中的应用
机译:优化算法的设计使用研究原语库,时间控制系统和搜索规则来高效解决问题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。