DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876): Difference between revisions

@@ label / en / label / en @@
+DynASP2.5: Dynamic Programming on Tree Decompositions in Action
@@ Property / DOI @@
-.4230/LIPIcs.IPEC.2017.17
@@ Property / DOI: 10.4230/LIPIcs.IPEC.2017.17 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.09370
@@ Property / arXiv ID: 1706.09370 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
+Normal rank
@@ Property / cites work @@
+Anytime answer set optimization via unsatisfiable core shrinking
+Normal rank
@@ Property / cites work @@
+The Impact of Treewidth on Grounding and Solving of Answer Set Programs
+Normal rank
@@ Property / cites work @@
+D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy
+Normal rank
@@ Property / cites work @@
+Q5111890
@@ Property / cites work: Q5111890 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+DynASP2.5: Dynamic Programming on Tree Decompositions in Action
+Normal rank
@@ Property / cites work @@
+Answer set solving with bounded treewidth revisited
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Fixed-parameter complexity in AI and nonmonotonic reasoning
+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 @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / OpenAlex ID @@
+W2963867061
@@ Property / OpenAlex ID: W2963867061 / rank @@
+Normal rank
@@ Property / title @@
+DynASP2.5: Dynamic Programming on Tree Decompositions in Action (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.IPEC.2017.17
@@ Property / DOI: 10.4230/LIPICS.IPEC.2017.17 / rank @@
+Normal rank