| Originalsprache | Englisch |
|---|---|
| Titel | Proc. of the 8th Intl. Conf. on Theory and Applications of Satisfiability Testing, SAT 2005 |
| Verlag | Springer Verlag |
| Seiten | 257-268 |
| Seitenumfang | 12 |
| Publikationsstatus | Veröffentlicht - 2005 |
Wissenschaftszweige
- 102 Informatik
- 102001 Artificial Intelligence
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102031 Theoretische Informatik
- 603109 Logik
- 202006 Computer Hardware
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver