A.G. · A. V. · V. Gelder · Van Gelder
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Computer Algorithms: Introduction to Design and Analysis | 978-0-201-61244-8 (0-201-61244-5) | 1999 | Sara Baase | |
| Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings | 978-3-642-39070-8 (3-642-39070-6) | 2013 | Matti Jarvisalo |