朱兴军
作品数： 11被引量：43H指数：4
  • 所属机构:吉林大学
  • 所在地区:吉林省 长春市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

孙吉贵
作品数：209被引量：2,266H指数：18
供职机构：吉林大学计算机科学与技术学院
研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
张永刚
作品数：76被引量：354H指数：10
供职机构：吉林大学计算机科学与技术学院
研究主题：约束满足问题 弧相容 人工智能 相容性 自适应
李莹
作品数：7被引量：55H指数：5
供职机构：吉林大学计算机科学与技术学院
研究主题：命题逻辑 约束满足问题 定理机器证明 规划方法 可满足性
高健
作品数：4被引量：24H指数：3
供职机构：吉林大学计算机科学与技术学院
研究主题：弧相容 约束满足问题 禁忌搜索 动态约束满足 参数化
吴瑕
作品数：8被引量：19H指数：3
供职机构：吉林大学
研究主题：命题逻辑 人工智能 模态逻辑 定理证明 定理机器证明
作品列表