2024年8月22日
星期四
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
SAT算法
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
许道云
作品数:164
被引量:327
H指数:9
供职机构:贵州大学计算机科学与技术学院
研究主题:SAT问题 极小不可满足公式 正则 英文 收敛性
张一民
作品数:3
被引量:1
H指数:1
供职机构:吉林大学计算机科学与技术学院
研究主题:一阶逻辑 SAT 生成器 SAT算法 基于逻辑
焦加麟
作品数:3
被引量:40
H指数:1
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:计算机辅助教学 人工智能 智能教学系统 知识表示 DPLL
吴尽昭
作品数:77
被引量:165
H指数:7
供职机构:广西民族大学
研究主题:英文 异构 PROMELA 形式化验证 任务调度算法
胡国华
作品数:20
被引量:90
H指数:3
供职机构:忻州师范学院计算机系
研究主题:粗糙集 单片机 决策表 区分矩阵 属性约简
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张