| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Theory and Applications of Satisfiability Testing - S.A.T. 2009: 12th International Conference, S.A.T. 2009, Swansea, U.K., June 30 - July 3, 2009. . ... Notes in Computer Science, Band 5584) | 978-3-642-O2776-5 (3-642-O2776-8) | 2009 |