当前位置:首页 > 其他书籍
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCEPDF电子书下载

其他书籍

  • 电子书积分:14 积分如何计算积分?
  • 作 者:ARMIN BIERE
  • 出 版 社:SPRINGER-VERLAG
  • 出版年份:2006
  • ISBN:
  • 页数:438 页
图书介绍:
《THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2006 9th INTERNATIONAL CONFERENCE》目录
标签:
返回顶部