Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Bliem, R. Pichler, S. Woltran:
"Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem";
Vortrag: International Symposium on Parameterized and Exact Computation (IPEC),
Sophia Antipolis;
04.09.2013
- 06.09.2013; in: "Parameterized and Exact Computation",
G. Gutin, St. Szeider (Hrg.);
Springer,
8246
(2013),
ISBN: 978-3-319-03897-1;
S. 28
- 40.
Kurzfassung englisch:
Many computationally hard problems become tractable if the graph structure underlying the problem instance exhibits small treewidth. A recent approach to put this idea into practice is based on a declarative interface to specify dynamic programming over tree decompositions, delegating the computation to dedicated solvers. In this paper, we prove that this method can be applied to any problem whose fixed-parameter tractability follows from Courcelle´s Theorem.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-03898-8_4
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
Answer-Set Programming Erweiterungen für Problemlösungen auf Zerlegungen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.