×
  • Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

    Marijn Heule Sean Weaver

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