退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:可满足性测试的随机噪声和随机游走算法分析
Bhaskar Krishnamachari; Xi Xie; Bart Selman; Stephen Wicker;
机译:改进确定性和随机指数时间算法的可满足性,可着色性和圆顶数问题
机译:随机可满足的k-CNF公式的演化算法的时间复杂度分析
机译:指数难度的问题有时是多项式,针对随机可满足性问题的搜索算法的大偏差分析及其在停止和重新启动分辨率中的应用-艺术。没有。 037101
机译:满足性测试的随机噪声和随机游走算法分析
机译:完整的随机切割平面算法,可满足命题可满足性。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:命题可满足性的完整随机割平面算法
机译:内置的随机访问记忆库自测程序和测试算法
机译:利用随机树行走算法追踪三维冠状动脉造影血管造影中冠状动脉的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。