×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [37]
清华大学 [20]
数学与系统科学研究... [20]
厦门大学 [18]
深圳先进技术研究院 [11]
半导体研究所 [10]
更多...
内容类型
期刊论文 [146]
学位论文 [21]
会议论文 [18]
其他 [17]
发表日期
2019 [3]
2018 [6]
2017 [5]
2016 [8]
2015 [16]
2014 [6]
更多...
学科主题
半导体材料 [4]
Physics [3]
光电子学 [2]
微电子学 [2]
Chemistry,... [1]
Computer S... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共202条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Machine Learning Methods in Solving the Boolean Satisfiability Problem
期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者:
Wenxuan Guo
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/09/25
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization
Machine Learning Methods in Solving the Boolean Satisfiability Problem
期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者:
Wenxuan Guo
;
Hui-Ling Zhen
;
Xijun Li
;
Wanqian Luo
;
Mingxuan Yuan
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization
Lifting for the integer knapsack cover polyhedron
期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2022, 页码: 45
作者:
Chen, Wei-Kun
;
Chen, Liang
;
Dai, Yu-Hong
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2023/02/07
Integer programming
Cutting plane
Sequential lifting
MIR inequality
Separation algorithm
Graph matching based on fast normalized cut and multiplicative update mapping
期刊论文
PATTERN RECOGNITION, 2022, 卷号: 122, 页码: 11
作者:
Yang, Jing
;
Yang, Xu
;
Zhou, Zhang-Bing
;
Liu, Zhi-Yong
收藏
  |  
浏览/下载:63/0
  |  
提交时间:2021/11/04
Graph matching
Fast normalized cut
Discrete constraint
Multiplicative update
Graph matching based point correspondence with alternating direction method of multipliers
期刊论文
NEUROCOMPUTING, 2021, 卷号: 462, 页码: 344-352
作者:
Yang, Jing
;
Yang, Xu
;
Zhou, Zhang-Bing
;
Liu, Zhi-Yong
;
Fan, Ming-Yu
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2021/11/03
Point correspondence
Graph matching
ADMM
Subproblems
Parameterized Dynamic Cluster Editing
期刊论文
ALGORITHMICA, 2020, 页码: 44
作者:
Luo, Junjie
;
Molter, Hendrik
;
Nichterlein, Andre
;
Niedermeier, Rolf
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2020/09/23
Graph-based data clustering
Incremental clustering
Compromise clustering
Correlation clustering
Local search
Goal-oriented clustering
NP-hard problems
Fixed-parameter tractability
Parameterized complexity
Kernelization
Multi-choice knapsack
一种布尔公式的代数逻辑约化新方法
期刊论文
计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32
作者:
刘江
;
周鸿昊
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2020/08/24
NP complete problem
Boolean satisfiability problem
1-in-3-SAT
XCNF
X pure literal
NP完全问题
布尔可满足性问题
1-in-3-SAT
XCNF
X-纯文字
Large-Scale Frequent Episode Mining from Complex Event Sequences with Hierarchies
期刊论文
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2019, 卷号: 10, 期号: 4, 页码: 26
作者:
Ao, Xiang
;
Shi, Haoran
;
Wang, Jin
;
Zuo, Luo
;
Li, Hongwei
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2020/12/10
Frequent episode mining
peak episode miner
large-scale sequence mining
hierarchy-aware maximal/closed episode
Solving large-scale NP-Complete problem with an optical solver driven by a dual-comb 'clock'
会议论文
2019 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2019-01-01
作者:
Hou, Yalin
;
Zhao, Xin
;
Li, Qian
;
Chen, Jie
;
Li, Yihong
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
Sequential Fault Diagnosis Using an Inertial Velocity Differential Evolution Algorithm
期刊论文
International Journal of Automation and Computing, 2019, 卷号: 16, 期号: 3, 页码: 389-397
作者:
Xiao-Hong Qiu
;
Yu-Ting Hu
;
Bo Li
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2021/02/22
Differential evolution (DE)
evolutionary computation
fault isolation rate (FIR)
testability
fault diagnosis.
©版权所有 ©2017 CSpace - Powered by
CSpace