登录
免费注册
赞
分享
科研之友
微信
新浪微博
Facebook
分享链接
牛当当
西北农林科技大学, 讲师
/
科研之友号：11095524
科研之友人员唯一编号
手机：
1872****719
/
邮箱：
niu**@nwafu.edu.cn
0
项目
15
成果
379
阅读
0
下载
3
被引
1
H-指数
主页
成果
工作经历
西北农林科技大学
信息工程学院, 讲师, 2018-07至现在
由于隐私设置，内容未完全显示
期刊论文
(0)
close
会议论文
(0)
close
专利
(0)
close
奖励
(0)
close
书/著作
(0)
close
书籍章节
(0)
close
学位论文
(0)
close
标准
(0)
close
软件著作权
(0)
close
其他
(0)
close
EI
(0)
close
SCIE
(0)
close
SSCI
(0)
close
ISTP
(0)
close
CSSCI
(0)
close
北大核心
(0)
close
(0)
close
(0)
close
(0)
close
不限
(0)
close
最新修改
引用
学科分类
人工智能基础
关键词
自动推理
可满足性
extension rule
model counting
SAT solver
local search algorithm
相关人员
更多
当前人员不存在或主页设为隐私，无法查看
科研之友
微信
新浪微博
Facebook
分享链接
