| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Algorithms for the Satisfiability Problem | 978-O-521-64O41-1 (O-521-64O41-5) | 2020 | Jun Gu · etc. · John Franco · Benjamin W. Wah |
P.P. · P W. · Paul P. · Paul W. · Paul Walton Purdom · Paul Walton Purdom Jr. · W.P.