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
1-2 of 2 Editions
Theory and Applications of Satisfiability Testing - SAT 2006
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Language: eng
Pages: 440
Published In: 2006
Publisher: Springer London, Limited
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)
Language: eng
Pages: 438
Published In: September 14, 2006
Publisher: Springer