论文降重
免费查重
A branching heuristic for SAT solvers based on complete implication graphs
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于寻找可满足2-SAT子问题的SAT算法
SAT问题
2-SAT子问题
2-SAT算法
SAT数据结构与组合测试生成
算法
布尔可满足性
数据结构
测试生成
基于粗糙集和SAT的属性约简
粗糙集
属性约简
二进制整数程序设计
命题可满足性
SATⅡBiology:对细胞呼吸内容的解析
有氧呼吸
糖酵解
克雷布斯循环
电子传递链和化学渗透作用
无氧呼吸
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | A branching heuristic for SAT solvers based on complete implication graphs | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | SAT branching heuristic conflict-driven clause learning implication graph | ||
| 年，卷（期） | zgkx_2019,（7） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 170-182 | |
| 页数 | 13页 | 分类号 | TP18 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2019(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
SAT
branching heuristic
conflict-driven clause learning
implication graph
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
