中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [19]

理论物理研究所 [15]

软件研究所 [14]

清华大学 [6]

计算技术研究所 [3]

兰州理工大学 [2]

内容类型

期刊论文 [43]

会议论文 [11]

学位论文 [1]

发表日期

学科主题

computer t... [1]

computer t... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

浏览/检索结果: 共67条，第1-10条

帮助

已选(0)清除条数/页：排序方式：
	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
	A computational framework for Karl Popper's logic of scientific discovery 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10 作者: Li, Wei; Sui, Yuefei 收藏 \| 浏览/下载：11/0 \| 提交时间：2019/12/10 belief revision logic of scientific discovery approximate deduction approximation algorithms feasible computation
	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
	New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18 作者: Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 收藏 \| 浏览/下载：17/0 \| 提交时间：2019/12/13 Partial MaxSAT Local search Hard and soft score Initialization
	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
	New local search methods for partial MaxSAT 期刊论文 ARTIFICIAL INTELLIGENCE, 2016 Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 收藏 \| 浏览/下载：4/0 \| 提交时间：2017/12/03 Partial MaxSAT Local search Hard and soft score Initialization CORE-GUIDED MAXSAT CARDINALITY CONSTRAINTS CONFIGURATION CHECKING INFERENCE RULES SAT ALGORITHMS
	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
	An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011 Chen, L; Wu, JZ; Lv, YR; Wang, YJ 收藏 \| 浏览/下载：23/0 \| 提交时间：2016/12/09 constrained optimization Satisfiability Modulo Theories linear programming
	Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文 FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143 Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A 收藏 \| 浏览/下载：20/0 \| 提交时间：2016/12/09 Complexity Compositional analysis Concurrency Efficiency Linear programming Probabilistic automata Satisfiability modulo theories Weak bisimulation

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

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