-
高申
-
-
- 所属机构:桂林电子科技大学计算机科学与工程学院
- 所在地区:广西 桂林市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 古天龙
- 作品数：486被引量：1,457H指数：18
- 供职机构：桂林电子科技大学
- 研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
- 常亮
- 作品数：312被引量：738H指数：15
- 供职机构：桂林电子科技大学
- 研究主题：描述逻辑 谱表示 知识图 三元组 景点
- 李德波
- 作品数：5被引量：0H指数：0
- 供职机构：桂林电子科技大学
- 研究主题：OBDD 描述逻辑 可满足性判定 有序二叉决策图 一致性
