Default logic and bounded treewidth (Q5918613): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2020.104675
@@ Property / DOI: 10.1016/j.ic.2020.104675 / rank @@
-Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Backdoors for Default Logic
@@ Property / cites work: Strong Backdoors for Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Courcelle's Theorem
@@ Property / cites work: A Practical Approach to Courcelle's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+QBF as an alternative to Courcelle's theorem
@@ Property / cites work: QBF as an alternative to Courcelle's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF Solving on Tree Decompositions*
+Normal rank
@@ Property / cites work @@
+Answer set solving with bounded treewidth revisited
+Normal rank
@@ Property / cites work @@
+DynASP2.5: Dynamic Programming on Tree Decompositions in Action
+Normal rank
@@ Property / cites work @@
+Taming high treewidth with abstraction, nested dynamic programming, and database technology
+Normal rank
@@ Property / cites work @@
+Q5111886
@@ Property / cites work: Q5111886 / rank @@
+Normal rank
@@ Property / cites work @@
+Paradigms for parameterized enumeration
@@ Property / cites work: Paradigms for parameterized enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Default logic and bounded treewidth
@@ Property / cites work: Default logic and bounded treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904137
@@ Property / cites work: Q4904137 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive reductions and complete problems for counting complexity classes
+Normal rank
@@ Property / cites work @@
+Treewidth. Computations and approximations
@@ Property / cites work: Treewidth. Computations and approximations / rank @@
+Normal rank
@@ Property / cites work @@
+D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting and Enumeration Problems with Bounded Treewidth
+Normal rank
@@ Property / cites work @@
+Q4699283
@@ Property / cites work: Q4699283 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Algorithms for propositional model counting
@@ Property / cites work: Algorithms for propositional model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2020.104675
@@ Property / DOI: 10.1016/J.IC.2020.104675 / rank @@
+Normal rank