Practical Access to Dynamic Programming on Tree Decompositions (Q5009563): Difference between revisions

@@ label / en / label / en @@
+Practical Access to Dynamic Programming on Tree Decompositions
@@ Property / DOI @@
-.4230/LIPIcs.ESA.2018.6
@@ Property / DOI: 10.4230/LIPIcs.ESA.2018.6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+D-FLAT
@@ Property / describes a project that uses: D-FLAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+The D-FLAT System for Dynamic Programming on Tree Decompositions
+Normal rank
@@ Property / cites work @@
+Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
+Normal rank
@@ Property / cites work @@
+Jdrasil: A Modular Library for Computing Tree Decompositions
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based local improvement for finding tree decompositions of small width
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of first-order and monadic second-order logic revisited
+Normal rank
@@ Property / cites work @@
+Courcelle's theorem -- a game-theoretic approach
@@ Property / cites work: Courcelle's theorem -- a game-theoretic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111890
@@ Property / cites work: Q5111890 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive-Instance Driven Dynamic Programming for Treewidth.
+Normal rank
@@ Property / OpenAlex ID @@
+W2964058227
@@ Property / OpenAlex ID: W2964058227 / rank @@
+Normal rank
@@ Property / title @@
+Practical Access to Dynamic Programming on Tree Decompositions (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.ESA.2018.6
@@ Property / DOI: 10.4230/LIPICS.ESA.2018.6 / rank @@
+Normal rank