退出
我的积分:
中文文献批量获取
外文文献批量获取
LIU Yan-Li; 刘燕丽; LI Chu-Min; 李初民; HE Kun; 何琨;
中国计算机学会;
最大可满足性问题; 算法设计; 冲突集优化; 系统框架;
机译:在基于SAT的MaxSAT算法中利用子问题优化
机译:CLASSIC:基于不完备关系的(O(n〜2)-启发式微码位优化算法
机译:同余收敛的小冲突集生成的NP完备性
机译:(n,3)-MAXSAT不同参数化的上下界
机译:通过解耦优化和满意度求解MAXSAT
机译:基于决策树拓扑和不完备模糊概率集的决策启发式对帐
机译:基于优化的修改后的最大敏感项目集冲突优先算法(MSICF)用于隐藏敏感项目集
机译:基于广义和线性约束的优化生成集直接搜索增广拉格朗日算法
机译:用于远程优化网络服务器上的控制算法和规则集或使用基于云的服务的系统和方法
机译:控制反向数据服务外部电路功率的方法,特别是通过优化提高反向数据服务性能的算法来提高144KBPS反向数据服务中的系统效率
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。