aspeed
solver scheduling via answer set programming
Hoos, Holger ; Kaminski, Roland ; Lindauer, Marius ; Schaub, Torsten 2019 Universität Potsdam
- Link zu diesem Datensatz
- https://d-nb.info/1218874740
- Titel
- aspeed : solver scheduling via answer set programming
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
- Autor(en)
-
- Hoos, Holger
- Kaminski, Roland
- Lindauer, Marius
- Schaub, Torsten
- Verlag
- Potsdam : Universität Potsdam [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-414743
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: In: Theory and Practice of Logic Programming 15 (2015) 1, pp. 117–142 DOI 10.1017/S1471068414000015
- Enthalten in: In: Theory and Practice of Logic Programming 15 (2015) 1, pp. 117–142 DOI 10.1017/S1471068414000015
- Enthalten in: In: Theory and Practice of Logic Programming 15 (2015) 1, pp. 117–142 DOI 10.1017/S1471068414000015
- Stand
- 23.01.2025 17:16
- Im Katalog seit
- 07.03.2026