-
姜蕴晖
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:东北师范大学计算机科学与信息技术学院
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:中央高校基本科研业务费专项资金
相关作者
- 周俊萍
![](/images/user-pic.gif)
- 作品数:15被引量:65H指数:3
- 供职机构:东北师范大学
- 研究主题:上界 SAT问题 最小上界 局部搜索算法 SAT
- 谷文祥
![](/images/user-pic.gif)
- 作品数:96被引量:363H指数:12
- 供职机构:长春建筑学院
- 研究主题:人工智能 数学模型 规划图 SAT问题 汉字输入
- 殷明浩
![](/images/user-pic.gif)
- 作品数:54被引量:252H指数:10
- 供职机构:东北师范大学
- 研究主题:人工智能 知识编译 启发式搜索 SAT问题 上界
- 傅琳璐
![](/images/user-pic.gif)
- 作品数:4被引量:1H指数:1
- 供职机构:东北师范大学
- 研究主题:SAT 上界 E-3 SAT问题 NA