×
  • Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...

    Carsten Sinz Uwe Egly

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