Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Edición de la obra Theory and Applications of Satisfiability Testing
| Autor | Holger H. Hoos, David G. Mitchell |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540315803 |
| Número de Cutter | H789t |