Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
---|---|---|
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Notes in Computer Science , Band 4996) | 978-3-54O-79718-O (3-54O-79718-1) | 2008 |
H B · H. Kleine Buning · Hans B. · Hans Kleine Büning · K. B.