退出
我的积分:
中文文献批量获取
外文文献批量获取
熊伟; 唐璞山;
复旦大学专用集成电路与系统国家重点实验室;
可满足性问题; 一元子句推导; 蕴涵图;
机译:Max-2-SAT问题的新包围程序和改进的精确算法
机译:具有缓存的DPLL:一种用于#SAT和贝叶斯推理的新算法
机译:MAX 3-SAT问题的一种新的量子进化局部搜索算法
机译:一种新的遗传算法解决了考虑环境影响的集中式载波协作与多乐队位置问题
机译:CBTH:一种新的终根三胞胎一致性问题的算法
机译:CKit:用于算法实验的预处理器(算法工程作为一种新的范例)
机译:可满足性(saT)问题的算法:一项调查
机译:新的未标记和放射性标记的丁胺普罗酮的衍生物,其制备,从未标记的衍生物中获得的免疫原和制备免疫原的方法,使用免疫原引起的抗癌作用以及一种用于解决问题的方法,是一种用于解决问题的方法。方法
机译:一种古典优化问题的量子播放算法
机译:凸约束优化问题的一种高效计算分布式算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。