Amer Mathematical Society · Cambridge University Press
| 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 | etc. · Paul W. Purdom · John Franco · Benjamin W. Wah |
| Constraint-Based Searching: Algorithms and Architectures | 978-0-521-41013-7 (0-521-41013-4) | 2015 | |
| Satisfiability Problem: Theory and Applications | 978-0-8218-0479-7 (0-8218-0479-0) | 1997 | Panos M. Pardalos |
J. G. · Jan Gać · Jaymee Goh · Jean Gay · Jenny Gu · Jian Gao · Jian Guo · Jim Gee · Jimmy Goh · Jimmy Guieu · Jin Gu · Jinhua Guo · Joan G · Joanna Guy · Joanne Gowa · John G. · John Gaie · John Gau · John Gay · John Gee · John Gow · John Guy · Johnny G · Juan Guo · Jun Gao · June Gwee · Junne G.