位置：成果数据库 > 著作 > 著作详情页
Lecture Notes in Computer Science 4996， Springer 2008
  • 所属机构名称：中山大学
  • 成果类型：著作
  • 出版社：主编SAT08论文集
  • 相关项目：量化布尔公式的理论与算法研究
同著作项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
同项目著作