Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Theory and applications of satisfiability testing
| Autor | Fahiem Bacchus, Toby Walsh |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 5, 2005 |
| Idioma | inglés |
| Páginas | 492 |
| Formato | Paperback |
| ISBN-13 | 9783540262763 |
| ISBN-10 | 3540262768 |
| OCLC | 60676968 |
| LCCN |