Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 29 de enero de 2009 |
| ISBN13 | 9781586039295 |
| Editores | IOS Press |
| Páginas | 980 |
| Dimensiones | 241 × 168 × 63 mm · 1,61 kg |
| Lengua | Inglés |
| Editor | Biere, A. |
| Editor | Heule, M. |
| Editor | Van Maaren, H. |
| Editor | Walsh, T. |