Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230): Difference between revisions

@@ label / en / label / en @@
+Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems for tree-decomposable graphs
@@ Property / cites work: Easy problems for tree-decomposable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy
+Normal rank
@@ Property / cites work @@
+The Impact of Treewidth on Grounding and Solving of Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Complexity of Secure Sets
@@ Property / cites work: Complexity of Secure Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Security in graphs
@@ Property / cites work: Security in graphs / rank @@
+Normal rank
@@ Property / cites work @@
+ASP-Core-2 Input Language Format
@@ Property / cites work: ASP-Core-2 Input Language Format / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Bucket elimination: A unifying framework for reasoning
+Normal rank
@@ Property / cites work @@
+Towards fixed-parameter tractable algorithms for abstract argumentation
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+A survey on alliances and related parameters in graphs
+Normal rank
@@ Property / cites work @@
+Answer set solving with bounded treewidth revisited
+Normal rank
@@ Property / cites work @@
+Backdoors to tractable answer set programming
@@ Property / cites work: Backdoors to tractable answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in clasp Series 3
@@ Property / cites work: Progress in clasp Series 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded treewidth as a key to tractability of knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Global defensive alliances in graphs
@@ Property / cites work: Global defensive alliances in graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Rooted secure sets of trees
@@ Property / cites work: Rooted secure sets of trees / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Counting with Bounded Treewidth
@@ Property / cites work: Fast Counting with Bounded Treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+Finding a chain graph in a bipartite permutation graph
+Normal rank
@@ Property / cites work @@
+Narrowness, pathwidth, and their application in natural language processing
+Normal rank
@@ Property / cites work @@
+Q4820818
@@ Property / cites work: Q4820818 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+A Dynamic-Programming Based ASP-Solver
@@ Property / cites work: A Dynamic-Programming Based ASP-Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable answer-set programming with weight constraints: bounded treewidth is not enough
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+All structured programs have small tree width and good register allocation
+Normal rank
@@ Property / cites work @@
+Q4604351
@@ Property / cites work: Q4604351 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+http://drops.dagstuhl.de/opus/volltexte/2018/8465/pdf/OASIcs-ICLP-2017-12.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2791132641
@@ Property / OpenAlex ID: W2791132641 / rank @@
+Normal rank
@@ Property / title @@
+Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (English)
+Normal rank