黄拙
作品数： 3被引量：19H指数：2
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

张健
作品数：27被引量：249H指数：8
供职机构：中国科学院软件研究所
研究主题：一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
季晓慧
作品数：5被引量：33H指数：3
供职机构：中国科学院软件研究所
研究主题：混合整数规划 优化技术 全局优化 约束问题 英文
作品列表