退出
我的积分:
中文文献批量获取
外文文献批量获取
邓天炎; 张庆顺; 许道云;
贵州大学计算机科学系;
贵州;
贵阳;
550025;
广西师范学院数学与计算机科学系;
广西;
南宁;
530001;
概率方法; 局部引理; (k; s)-SAT问题;
机译:关于分解弱引理的梯度序列的分解引理的一种扩展及其在非凸变分问题中的应用
机译:SAT的局部引理渐近紧
机译:通过引理重用进行有效的SAT规划和SAT调度
机译:局部引理:SAT解算器中修剪的新策略
机译:复制对称在随机常规k-nae-sat问题中破裂
机译:σ有限度量空间上扩展实值函数的Fatou引理的推广:应用于离散时间的无限水平优化
机译:saT的局部引理渐近紧张
机译:有限元方法的p版本在全球局部问题中的应用
机译:在关联,关系和面向对象的数据库中存储术语数据的方法,涉及分别提供引理关键字,定义关键字和变体关键字作为引理,定义和品种元组,分别参考定义
机译:利用系统局部搜索进行SAT求解的方法和机制
机译:消除了包含在设备主题中的局部缺陷。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。