-
朱兴军
-
-
- 所属机构:吉林大学
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 孙吉贵
- 作品数：209被引量：2,257H指数：18
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
- 张永刚
- 作品数：73被引量：343H指数：10
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：约束满足问题 弧相容 人工智能 相容性 自适应
- 李莹
- 作品数：7被引量：55H指数：5
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：命题逻辑 约束满足问题 定理机器证明 规划方法 可满足性
- 高健
- 作品数：4被引量：24H指数：3
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：弧相容 约束满足问题 禁忌搜索 动态约束满足 参数化
- 吴瑕
- 作品数：8被引量：19H指数：3
- 供职机构：吉林大学
- 研究主题：命题逻辑 人工智能 模态逻辑 定理证明 定理机器证明
