×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [12]
理论物理研究所 [12]
北京航空航天大学 [4]
贵州大学 [2]
数学与系统科学研究院 [1]
软件研究所 [1]
更多...
内容类型
期刊论文 [26]
其他 [4]
会议论文 [2]
发表日期
2020 [1]
2016 [3]
2015 [9]
2014 [4]
2013 [4]
2012 [3]
更多...
学科主题
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
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Maximally flexible solutions of a random K-satisfiability formula
期刊论文
PHYSICAL REVIEW E, 2020, 卷号: 102, 期号: 1, 页码: 12301
作者:
Zhao, Han
;
Zhou, Hai -Jun
收藏
|
浏览/下载：10/0
|
提交时间：2021/09/27
SURVEY PROPAGATION
ALGORITHM
THRESHOLD
SAT
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
A novel weighting scheme for random k-SAT
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2016, 卷号: 59
作者:
Liu, Jun
;
Xu, Ke
收藏
|
浏览/下载：4/0
|
提交时间：2019/12/30
computational complexity
satisfiability
phase transition
second moment method
weighting scheme
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
The solution space structure of random constraint satisfaction problems with growing domains
期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2015
Xu, Wei
;
Zhang, Pan
;
Liu, Tian
;
Gong, Fuzhou
收藏
|
浏览/下载：3/0
|
提交时间：2017/12/03
disordered systems (theory)
phase transformations (theory)
EXACT PHASE-TRANSITIONS
RANDOM K-SAT
SATISFIABILITY
THRESHOLD
©版权所有 ©2017 CSpace - Powered by
CSpace
