High performance answer set solving
| Author details: | Benjamin KaufmannGND |
|---|---|
| Supervisor(s): | Torsten H. Schaub |
| Publication type: | Doctoral Thesis |
| Language: | English |
| Year of first publication: | 2015 |
| Publication year: | 2015 |
| Granting institution: | Universität Potsdam |
| Date of final exam: | 2015/01/22 |
| Release date: | 2015/02/24 |
| Number of pages: | 182 |
| Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
