ISBN 9783642141850 books & textbook
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6175)
Strichman, Ofer Szeider, Stefan
Springer /2010-06-30 Paperback / 413 Pages
isbn-10: 3642141854 / isbn-13: 9783642141850
