退出
我的积分:
中文文献批量获取
外文文献批量获取
胡显伟; 任世军;
SAT问题; 局部搜索算法; 函数变换; 最速下降法;
机译:求解SAT问题的拟物理和拟社会学算法太阳算法
机译:启发式极性决策算法求解SAT问题
机译:基于改进冲突条款处理的并行SAT求解算法
机译:一种新的基于FPGA的DPLL算法,可改善SAT求解器
机译:用于子句学习SAT求解器的高效算法
机译:基于非对称广义Jacobi Petrov-Galerkin方法求解三阶和五阶两点边值问题的新算法
机译:一种基于偏序的枚举算法求解换刀最小化问题一种基于偏序的枚举算法求解刀具开关问题的最小化
机译:基于配置的并行算法求解多孔介质中的两相流输运问题(第37章)。
机译:用于SAT的基于分区的决策启发式算法以及使用SAT和BDD进行图像计算
机译:求解遗传算法中优化问题的数值算法的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。