Zeitschriftenartikel:
M. Abseher, M. Hecher, M. Moldovan, S. Woltran, B. Bliem:
"Dynamic Programming on Tree Decompositions with {D-FLAT}";
KI - Künstliche Intelligenz,
32
(2018),
2-3;
S. 191
- 192.
Kurzfassung englisch:
Many hard problems can be solved efficiently by dynamic programming algorithms that work on tree decompositions. In this paper, we present the D-FLAT system for rapid prototyping of such algorithms. Users can specify the algorithm for their problem using Answer Set Programming. We illustrate the framework by an example and briefly discuss its main features.
Schlagworte:
Tree decomposition, Answer set programming, Dynamic programming
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s13218-018-0531-2
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
Answer-Set Programming Erweiterungen für Problemlösungen auf Zerlegungen
Projektleitung Stefan Woltran:
START
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.