Tell your friends about this item:
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
980 pages, Illustrations
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | January 29, 2009 |
| ISBN13 | 9781586039295 |
| Publishers | IOS Press |
| Pages | 980 |
| Dimensions | 241 × 168 × 63 mm · 1.61 kg |
| Language | English |
| Editor | Biere, A. |
| Editor | Heule, M. |
| Editor | Van Maaren, H. |
| Editor | Walsh, T. |