| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings | 978-3-54O-372O6-6 (3-54O-372O6-7) | 2008 | Armin Biere |
C. G. · C.P. · Carla Gomes · P.G.