乔瑞
作品数: 2被引量:0H指数:0
  • 所属机构:中国科学院成都计算机应用研究所
  • 所在地区:四川省 成都市
  • 研究方向:自然科学总论
  • 发文基金:国家自然科学基金

相关作者

高新岩
作品数:7被引量:12H指数:2
供职机构:中国科学院成都计算机应用研究所
研究主题:分层结构 SAT算法 SAT 合取范式 程序切片
吴尽昭
作品数:77被引量:178H指数:7
供职机构:广西民族大学
研究主题:英文 异构 PROMELA 形式化验证 任务调度算法
闫炜
作品数:8被引量:4H指数:2
供职机构:电子科技大学计算机科学与工程学院
研究主题:组合电路 并发系统 SAT算法 SAT 合取范式