论文降重
免费查重
Accelerating MUS enumeration by inconsistency graph partitioning
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
The partitioning patterns of nutrients between pods and seeds of Zanthoxylum fruits impacted by envi
Partitioning pattern
Nutritional quality
C:N ratio
Zanthoxylum fruits
Mean annual temperature
Mean annual precipitation
Distribution and partitioning of heavy metals in large anthropogenically impacted river, the Pearl R
Pearl River
Water and sediment
Heavy metals
Partitioning
Distribution
基于DBLP数据的多维异质网络Graph OLAP设计与实现
图挖掘
图联机分析处理
数据仓库
图立方体
结合GMM和Graph-Cuts的直观传输函数设计方法
直接体绘制
传输函数
Graph-Cuts算法
高斯混合模型
空间信息
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Accelerating MUS enumeration by inconsistency graph partitioning | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | minimal unsatisfiable subsets inconsistency graph graph partition SAT UNSAT | ||
| 年，卷（期） | zgkx_2019,（11） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 66-76 | |
| 页数 | 11页 | 分类号 | TP |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2019(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
minimal unsatisfiable subsets
inconsistency graph
graph partition
SAT
UNSAT
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
