Theory and Applications of Satisfiability Testing -- SAT 2006: 9Th International Conference, Seattle, WA, USA, August 12-15, 2006 : Proceedings (Lecture notes in computer science, 4121)
- Författare
- Armin Biere
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Verlag | 2006 | Utgivningsland okänt / Ej specificerat |