Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Edición de la obra Theory and applications of satisfiability testing
| Autor | Fahiem Bacchus, Toby Walsh |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540316794 |
| Número de Cutter | B116t |