退出
我的积分:
中文文献批量获取
外文文献批量获取
王永平; 许道云;
贵州大学计算机科学与技术学院 贵州贵阳 550025;
贵州财经大学数统学院 贵州贵阳 550025;
3-CNF公式; 随机难解实例生成; 正则子类; 严格d-正则随机(3; 2s)-SAT问题; 可满足临界;
机译:严格D-常规随机(3,2S)-SAT问题的满足阈值的属性
机译:规则随机(k,s)-SAT问题的可满足性阈值的上限
机译:SAT-UNSAT过渡解决随机约束满足问题
机译:严格D-ranget随机(3,s)-sat问题的可靠性阈值
机译:随机d-正则图的填充色数
机译:正则化不适定问题的残差方法
机译:可满足性(saT)问题的算法:一项调查
机译:解决线性时间中布尔可满足性(SAT)问题的顺序机
机译:在命题可满足性(SAT)问题的实例之间共享信息
机译:用于在线性时间内解决布尔可满足性(SAT)问题的通用顺序机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。