-
李莹
-
-
- 所属机构:吉林大学计算机科学与技术学院
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 朱兴军
- 作品数：11被引量：43H指数：4
- 供职机构：吉林大学
- 研究主题：约束满足问题 命题逻辑 定理机器证明 弧相容 相容性
- 孙吉贵
- 作品数：209被引量：2,257H指数：18
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
- 张永刚
- 作品数：73被引量：343H指数：10
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：约束满足问题 弧相容 人工智能 相容性 自适应
- 吕帅
- 作品数：75被引量：175H指数：9
- 供职机构：吉林大学
- 研究主题：规划方法 知识编译 可满足性 公理 命题逻辑
- 石莲
- 作品数：6被引量：93H指数：3
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：描述逻辑 规划方法 可满足性 模态逻辑 命题逻辑
