×
  • Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

    Armin Biere Carla P. Gomes

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read