High performance answer set solving
Author details: | Benjamin KaufmannGND |
---|---|
Supervisor(s): | Torsten 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 |