Theory and applications of satisfiability testing. - 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
- Författare
- Italy) SAT 2003 (2003 : Santa Margherita Ligure
- (Enrico Giunchiglia, Armando Tacchella (eds.).)
- Genre
- Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2004 | New York, New York | p. cm. |