Connecting Width and Structure in Knowledge Compilation (Extended Version) (Q3305349): Difference between revisions

@@ label / en / label / en @@
+Connecting Width and Structure in Knowledge Compilation (Extended Version)
@@ Property / arXiv ID @@
+.06188
@@ Property / arXiv ID: 1709.06188 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+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 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 @@
+Inference and learning in probabilistic logic programs using weighted Boolean formulas
+Normal rank
@@ Property / cites work @@
+Query evaluation via tree-decompositions
@@ Property / cites work: Query evaluation via tree-decompositions / rank @@
+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 @@
+Q4734791
@@ Property / cites work: Q4734791 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Probabilistic Databases
@@ Property / cites work: Probabilistic Databases / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2755376675
@@ Property / OpenAlex ID: W2755376675 / rank @@
+Normal rank
@@ Property / title @@
+Connecting Width and Structure in Knowledge Compilation (Extended Version) (English)
+Normal rank