您的位置： 专家智库 > >

国家教育部博士点基金(20120043120017)

作品数：3 被引量：6H指数：2
相关作者：殷明浩周俊萍李睿智曾志勇姜蕴晖更多>>
相关机构：东北师范大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 1个电子电信
  • 1个医药卫生
  • 1个文化科学
  • 1个语言文字

主题

  • 4个搜索
  • 4个搜索算法
  • 4个子句
  • 4个局部搜索
  • 4个局部搜索算法
  • 4个SAT问题
  • 4个SMT
  • 3个上界
  • 3个加强式
  • 3个加权
  • 3个加权算法
  • 3个SAT
  • 2个调度
  • 2个调度问题
  • 2个学生信息
  • 2个因子图
  • 2个知识
  • 2个知识概念
  • 2个知识水平
  • 2个NA

机构

  • 5个东北师范大学
  • 2个吉林大学
  • 1个中国科学院长...

资助

  • 5个国家自然科学...
  • 5个国家教育部博...
  • 4个教育部“新世...
  • 3个吉林省自然科...
  • 3个吉林省青年科...
  • 3个中央高校基本...
  • 1个国家重点基础...
  • 1个吉林省科技发...
  • 1个浙江省教育厅...
  • 1个中国博士后科...
  • 1个广西壮族自治...
  • 1个广西高等学校...
  • 1个广西师范大学...
  • 1个航天飞行动力...
  • 1个湖北省教育厅...

传媒

  • 4个软件学报
  • 3个计算机研究与...
  • 3个计算机学报
  • 3个智能系统学报
  • 2个吉林大学学报...
  • 2个计算机科学与...
  • 2个第四届中国A...
  • 1个世界科技研究...
  • 1个自动化学报
  • 1个南京大学学报...
  • 1个计算机工程
  • 1个计算技术与自...
  • 1个北京航空航天...
  • 1个东北师大学报...
  • 1个计算机科学
  • 1个中国科学：信...
  • 1个2004年全...

地区

  • 5个吉林省
共 5 条 记 录，以下是 1-5
殷明浩
供职机构：东北师范大学
研究主题：人工智能 知识编译 启发式搜索 SAT问题 上界
发表作品相关人物供职机构所获资助研究领域
周俊萍
供职机构：东北师范大学
研究主题：上界 SAT问题 最小上界 局部搜索算法 SAT
发表作品相关人物供职机构所获资助研究领域
李睿智
供职机构：东北师范大学计算机科学与信息技术学院
研究主题：局部搜索算法 差分进化 SMT SAT问题 加权算法
发表作品相关人物供职机构所获资助研究领域
曾志勇
供职机构：东北师范大学计算机科学与信息技术学院
研究主题：差分进化 SMT 局部搜索算法 多尺度
发表作品相关人物供职机构所获资助研究领域
姜蕴晖
供职机构：东北师范大学计算机科学与信息技术学院
研究主题：上界 SAT问题 X SAT MI
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0