Wow! eBookTheory and Application of Satisfiability Testing: 14th Inteational Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings (Lecture .. Computer Science and General Issues)
Hardcover: 384 pages
Publisher: Springer (June 1, 2011)
Language: English
ISBN-10: 3642215807
