| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Theory and Applications of Satisfiability Testing | 978-3-54O-8132O-O (3-54O-8132O-9) | 2008 |
D G · D,. H.. · D. M. · D. Mitchell · David G. · David G. Mitchell · David H. · David M. · David Mitchell · G.M. · G. Mitchell · M. H. · Mitchell H.