Connecting knowledge compilation classes and width parameters (Q778533): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963166380
@@ Property / OpenAlex ID: W2963166380 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02944
@@ Property / arXiv ID: 1811.02944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111443
@@ Property / cites work: Q5111443 / rank @@
+Normal rank
@@ Property / cites work @@
+Combined Tractability of Query Evaluation via Tree Automata and Cycluits
+Normal rank
@@ Property / cites work @@
+Provenance Circuits for Trees and Treelike Instances
+Normal rank
@@ Property / cites work @@
+Exact Model Counting of Query Expressions
@@ Property / cites work: Exact Model Counting of Query Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+A $c^k n$ 5-Approximation Algorithm for Treewidth
@@ Property / cites work: A $c^k n$ 5-Approximation Algorithm for Treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+On the relative succinctness of sentential decision diagrams
+Normal rank
@@ Property / cites work @@
+Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
+Normal rank
@@ Property / cites work @@
+On Compiling Structured CNFs to OBDDs
@@ Property / cites work: On Compiling Structured CNFs to OBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
+Normal rank
@@ Property / cites work @@
+Q5090465
@@ Property / cites work: Q5090465 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
+Normal rank
@@ Property / cites work @@
+A differential approach to inference in Bayesian networks
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+On tree width, bramble size, and expansion
@@ Property / cites work: On tree width, bramble size, and expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation meets database theory: compiling queries to decision diagrams
+Normal rank
@@ Property / cites work @@
+Q4734791
@@ Property / cites work: Q4734791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4388806
@@ Property / cites work: Q4388806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999098
@@ Property / cites work: Q2999098 / rank @@
+Normal rank
@@ Property / cites work @@
+No Small Nondeterministic Read-Once Branching Programs for CNFs of Bounded Treewidth
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Approximation of boolean functions by combinatorial rectangles
+Normal rank
@@ Property / cites work @@
+Communication Complexity Theory: Thirty-Five Years of Set Disjointness
+Normal rank
@@ Property / cites work @@
+Probabilistic Databases
@@ Property / cites work: Probabilistic Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127722524
@@ Property / Wikidata QID: Q127722524 / rank @@
+Normal rank