-
乔瑞
-
-
- 所属机构:中国科学院成都计算机应用研究所
- 所在地区:四川省 成都市
- 研究方向:自然科学总论
- 发文基金:国家自然科学基金
相关作者
- 高新岩
- 作品数：7被引量：12H指数：2
- 供职机构：中国科学院成都计算机应用研究所
- 研究主题：分层结构 SAT算法 SAT 合取范式 程序切片
- 吴尽昭
- 作品数：77被引量：178H指数：7
- 供职机构：广西民族大学
- 研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
- 闫炜
- 作品数：8被引量：4H指数：2
- 供职机构：电子科技大学计算机科学与工程学院
- 研究主题：组合电路 并发系统 SAT算法 SAT 合取范式
