位置：成果数据库 > 获奖 > 获奖详情页
BalancedZ static32bitgcc4.3.5
  • 颁奖组织：SAT competition 2013
  • 类别：Eighth
  • 时间：2013.7.7
  • 级别：Eighth
  • 所属机构名称：华中科技大学
  • 成果类型：获奖
  • 相关项目：引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
作者： 黄冲|
同获奖项目
引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
期刊论文 15 会议论文 3 获奖 4
同项目获奖
sattime2013 2013
BalancedZ static32bitgcc4.3.5
sattime2013 2013