×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
理论物理研究所 [7]
北京大学 [3]
兰州大学 [2]
北京航空航天大学 [1]
武汉物理与数学研究所 [1]
内容类型
期刊论文 [9]
会议论文 [3]
其他 [2]
发表日期
2018 [1]
2016 [3]
2015 [1]
2013 [1]
2011 [1]
2010 [1]
更多...
学科主题
Physics [7]
computer t... [1]
computer t... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Parallel Reasoning of Graph Functional Dependencies
会议论文
2018 IEEE 34TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE), 2018-01-01
作者:
Fan, Wenfei
;
Liu, Xueli
;
Cao, Yingjie
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2019/12/30
Parallel algorithms
Functional dependency
implication
Implication problem
Model properties
NP Complete
Running time
Satisfiability
Satisfiability problems
Formal logic
SMT-based scheduling for multiprocessor real-time systems
会议论文
15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016
作者:
Cheng, Zhuo
;
Zhang, Haitao
;
Tan, Yasuo
;
Lim, Yuto
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/01/18
Real time systems
Computational complexity
Formal logic
Information science
Interactive computer systems
Multiprocessing systems
Problem solving
Scheduling
Surface mount technology
First-order language
Multiple processors
multiprocessor
Real
time scheduling
Satisfiability modulo Theories
Satisfiability problems
Scheduling constraints
Scheduling methods
Scheduling overload for real-time systems using SMT solver
会议论文
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30, 2016 - June 1, 2016
作者:
Cheng, Zhuo
;
Zhang, Haitao
;
Tan, Yasuo
;
Lim, Yuto
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/01/18
Real time systems
Artificial intelligence
Computation theory
Formal logic
Interactive computer systems
Problem solving
Scheduling
Software engineering
Surface mount technology
First-order language
overload
Overload condition
Real
time scheduling
Satisfiability modulo Theories
Satisfiability problems
Scheduling methods
System performance degradation
Fractional Edge Cover Number of Model RB
其他
2016-01-01
Liu, Tian
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
Model RB
Fractional edge cover
Hardness
RANDOM CONSTRAINT SATISFACTION
EXACT PHASE-TRANSITIONS
RANDOM GRAPHS
SATISFIABILITY PROBLEMS
TREEWIDTH
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
Witness of unsatisfiability for a random 3-satisfiability formula
期刊论文
PHYSICAL REVIEW E, 2013, 卷号: 87, 期号: 5, 页码: 52807
作者:
Zhou, HJ
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/04/25
CONSTRAINT SATISFACTION PROBLEMS
RANDOM K-SAT
SATISFIABILITY PROBLEMS
CAVITY METHOD
Approaching the ground states of the random maximum two-satisfiability problem by a greedy single-spin flipping process
期刊论文
PHYSICAL REVIEW E, 2011, 卷号: 83, 期号: 5, 页码: 52101
作者:
Zhou, HJ
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/05/17
CONSTRAINT SATISFACTION PROBLEMS
SATISFIABILITY PROBLEMS
CAVITY METHOD
OPTIMIZATION
Glassy behavior and jamming of a random walk process for sequentially satisfying a constraint satisfaction formula
期刊论文
EUROPEAN PHYSICAL JOURNAL B, 2010, 卷号: 73, 期号: 4, 页码: 617-624
作者:
Zhou, Haijun
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2012/08/02
Random Satisfiability Problems
K-sat
Algorithm
Phase
Stability analysis on the finite-temperature replica-symmetric and first-step replica-symmetry-broken cavity solutions of the random vertex cover problem
期刊论文
PHYSICAL REVIEW E, 2009, 卷号: 80, 期号: 2, 页码: -
作者:
Zhang, Pan
;
Zeng, Ying
;
Zhou, Haijun
;
Zhang, P , Chinese Acad Sci, Inst Theoret Phys, Key Lab Frontiers Theoret Phys, Beijing 100190, Peoples R China
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2012/08/02
Satisfiability Problems
Glass-transition
Bethe Lattices
Dynamics
Phase
From one solution of a 3-satisfiability formula to a solution cluster: Frozen variables and entropy
期刊论文
PHYSICAL REVIEW E, 2009, 卷号: 79, 期号: 3, 页码: -
作者:
Li, K , Chinese Acad Sci, Inst Theoret Phys, Beijing 100190, Peoples R China
;
Li, Kang
;
Ma, Hui
;
Zhou, Haijun
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2012/08/02
Constraint Satisfaction Problems
Random Satisfiability Problems
Message-passing Algorithms
Computational-complexity
Glass-transition
©版权所有 ©2017 CSpace - Powered by
CSpace