An edition of Theory and applications of satisfiability testing -- SAT 2006 (2006)
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)
By Armin Biere
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
September 14, 2006
Publisher
Springer
Language
eng
Pages
439
RelatedBooks