CORC

在结果中检索

CORC

浏览/检索结果: 共26条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
用于求解正则(3,4)-SAT实例集的修正警示传播算法 期刊论文
2018, 卷号: 45, 期号: 11, 页码: 312-317
作者:  佘光伟;  许道云
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
Risk Analysis of Information System Security Based on Distance of Information-State Transition 期刊论文
2018, 卷号: 23, 期号: 3, 页码: 210-218
作者:  ZHOU Chao;  PAN Ping;  MAO Xinyue;  HUANG Liang
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
基于1RSB的正则（k,r）-SAT问题可满足临界 期刊论文
2017, 卷号: 45, 期号: 12, 页码: 7-13
作者:  周锦程;  许道云;  卢友军
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
Satisfiability threshold of regular (k, r)-SAT problem via 1RSB theory 期刊论文
2017, 卷号: 45, 期号: 12, 页码: 7-13
作者:  Zhou, Jincheng;  Xu, Daoyun;  Lu, Youjun
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/31
UPPER BOUND ON THE SATISFIABILITY THRESHOLD OF REGULAR RANDOM (k, s)-SAT PROBLEM 期刊论文
2016, 卷号: 12, 期号: 2, 页码: 477-489
作者:  Zhou, Jicheng;  Xu, Daoyun
收藏  |  浏览/下载：7/0  |  提交时间：2020/01/02
Satisfiability threshold of the regular random (k, r)-SAT problem 期刊论文
2016, 卷号: 27, 期号: 12, 页码: 2985-2993
作者:  Zhou, Jin-Cheng;  Xu, Dao-Yun;  Lu, You-Jun
收藏  |  浏览/下载：5/0  |  提交时间：2020/01/05
随机正则（k,r）-SAT问题的可满足临界 期刊论文
2016, 卷号: 27, 期号: 12, 页码: 2985-2993
作者:  周锦程;  许道云;  卢友军
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
Strictly regular random (3, s)-SAT model and its phase transition phenomenon 期刊论文
2016, 卷号: 42, 期号: 12, 页码: 2563-2571
作者:  Zhou, Jincheng;  Xu, Daoyun;  Lu, Youjun;  Dai, Cunkuan
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
严格随机正则（3，s）-SAT模型及其相变现象 期刊论文
2016, 卷号: 42, 期号: 12, 页码: 2563-2571
作者:  周锦程;  许道云;  卢友军;  代寸宽
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28
可满足性问题的归约技术 期刊论文
2012, 卷号: 5, 期号: 1, 页码: 35-49
作者:  Daoyun Xu;  许道云;  王晓峰
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28

©版权所有 ©2017 CSpace - Powered by CSpace