ISBN 3642316115 books & textbook
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)
Cimatti, Alessandro Sebastiani, Roberto
Springer /2012-06-22 Paperback / 514 Pages
isbn-10: 3642316115 / isbn-13: 9783642316111
