CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
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
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
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
Fractional Edge Cover Number of Model RB 其他
2016-01-01
Liu, Tian
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
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
Witness of unsatisfiability for a random 3-satisfiability formula 期刊论文
PHYSICAL REVIEW E, 2013, 卷号: 87, 期号: 5, 页码: 52807
作者:  Zhou, HJ
收藏  |  浏览/下载：17/0  |  提交时间：2014/04/25
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
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
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
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

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