High performance answer set solving
| Verfasserangaben: | Benjamin KaufmannGND |
|---|---|
| Betreuer*in(nen): | Torsten H. Schaub |
| Publikationstyp: | Dissertation |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2015 |
| Erscheinungsjahr: | 2015 |
| Titel verleihende Institution: | Universität Potsdam |
| Datum der Abschlussprüfung: | 22.01.2015 |
| Datum der Freischaltung: | 24.02.2015 |
| Seitenanzahl: | 182 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
