×
  • Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

    Hans Kleine Büning Xishun Zhao

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read