-
吕帅
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:吉林大学
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 刘磊
![](/images/user-pic.gif)
- 作品数:379被引量:1,198H指数:16
- 供职机构:吉林大学
- 研究主题:程序设计 本体 检定装置 汽车 营运汽车
- 魏唯
![](/images/user-pic.gif)
- 作品数:19被引量:61H指数:4
- 供职机构:吉林大学公共计算机教学与研究中心
- 研究主题:启发式搜索 规划方法 多目标 路标 爬山
- 欧阳丹彤
![](/images/user-pic.gif)
- 作品数:216被引量:620H指数:13
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:基于模型诊断 人工智能 离散事件系统 本体 集合枚举树
- 张鹏
![](/images/user-pic.gif)
- 作品数:13被引量:14H指数:2
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:本体 TABULAR 程序切片 形式语义 关联图
- 李壮
![](/images/user-pic.gif)
- 作品数:6被引量:9H指数:2
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:DPLL 子句 局部搜索 知识编译 网络语言