Cambridge University Press · Wiley
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Algorithms for the Satisfiability Problem | 978-0-521-64041-1 (0-521-64041-5) | 2020 | Jun Gu · etc. · Paul W. Purdom · John Franco |
| Wiley Encyclopedia of Computer Science and Engineering, 5 Volume Set | 978-0-471-38393-2 (0-471-38393-7) | 2009 | |
| Wiley Encyclopedia of Computer Science and Engineering | 978-0-470-10792-8 (0-470-10792-8) | 2007 | |