The Satisfiability Problem by John Franco, Endre Boros, P L Hammer
| ISBN: | 9780444504104 |
| Publication date: | 26th November 1999 |
| Author: | John Franco, Endre Boros, P L Hammer |
| Publisher: | Elsevier |
| Format: | Book |
| Pagination: | 482 pages |
| Series: | Topics in Discrete Mathematics |
| Genres: |
Mathematical logic |