Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Theory and applications of satisfiability testing
| Autor | Enrico Giunchiglia |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 19, 2004 |
| Idioma | inglés |
| Páginas | 530 |
| Formato | Paperback |
| ISBN-13 | 9783540208518 |
| ISBN-10 | 3540208518 |
| OCLC | 54035248 |
| LCCN | 2004041323 |