×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [12]
理论物理研究所 [12]
清华大学 [3]
贵州大学 [3]
数学与系统科学研究院 [1]
软件研究所 [1]
更多...
内容类型
期刊论文 [26]
其他 [4]
会议论文 [2]
发表日期
2017 [1]
2016 [4]
2015 [9]
2014 [4]
2013 [4]
2011 [1]
更多...
学科主题
Physics [11]
Mechanics [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共32条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
Spin-glass phase transitions and minimum energy of the random feedback vertex set problem
期刊论文
PHYSICAL REVIEW E, 2016, 卷号: 94, 期号: 2, 页码: 22146
作者:
Qin, SM
;
Zeng, Y
;
Zhou, HJ
收藏
|
浏览/下载：17/0
|
提交时间：2019/04/08
RANDOM REGULAR GRAPHS
SATISFIABILITY
ALGORITHM
DYNAMICS
NETWORKS
MODELS
STATES
Spin-glass phase transitions and minimum energy of the random feedback vertex set problem
期刊论文
PHYSICAL REVIEW E, 2016, 卷号: 94, 期号: 2, 页码: 22146
作者:
Qin, SM
;
Zeng, Y
;
Zhou, HJ
收藏
|
浏览/下载：19/0
|
提交时间：2017/02/27
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
The solution space structure of random constraint satisfaction problems with growing domains
期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2015, 页码: 12
作者:
Xu, Wei
;
Zhang, Pan
;
Liu, Tian
;
Gong, Fuzhou
收藏
|
浏览/下载：13/0
|
提交时间：2018/07/30
disordered systems (theory)
phase transformations (theory)
The solution space structure of random constraint satisfaction problems with growing domains
期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2015, 期号: 0, 页码: P12006
作者:
Xu, W
;
Zhang, P
;
Liu, T
;
Gong, FZ
收藏
|
浏览/下载：16/0
|
提交时间：2016/11/21
disordered systems (theory)
phase transformations (theory)
An effective variable selection heuristic in SLS for weighted Max-2-SAT
期刊论文
2015
Cai, Shaowei
;
Jie, Zhong
;
Su, Kaile
收藏
|
浏览/下载：5/0
|
提交时间：2015/11/12
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
期刊论文
IEEE TRANSACTIONS ON COMPUTERS, 2015
Luo, Chuan
;
Cai, Shaowei
;
Wu, Wei
;
Jie, Zhong
;
Su, Kaile
收藏
|
浏览/下载：5/0
|
提交时间：2017/12/03
Local search
weighted
maximum satisfiability
configuration checking
make
MAX-SAT PROBLEMS
CONFIGURATION CHECKING
INFERENCE RULES
FORMULATION
MINIMUM
Lower and Upper Bounds for Random Mimimum Satisfiability Problem
其他
2015-01-01
Huang, Ping
;
Su, Kaile
收藏
|
浏览/下载：3/0
|
提交时间：2017/12/03
MinSAT
Upper bounds
Lower bounds
MINIMUM SATISFIABILITY
PHASE-TRANSITIONS
MAX-CUT
MAX-2-SAT
2-SAT
SAT
©版权所有 ©2017 CSpace - Powered by
CSpace
