Knowledge compilation meets database theory: compiling queries to decision diagrams (Q359877): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P15
@@ Property / Mathematics Subject Classification ID: 68P15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q87
@@ Property / Mathematics Subject Classification ID: 68Q87 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6201159
@@ Property / zbMATH DE Number: 6201159 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic databases
@@ Property / zbMATH Keywords: probabilistic databases / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+knowledge compilation
@@ Property / zbMATH Keywords: knowledge compilation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+binary decision diagrams
@@ Property / zbMATH Keywords: binary decision diagrams / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+OBDD
@@ Property / zbMATH Keywords: OBDD / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+FBDD
@@ Property / zbMATH Keywords: FBDD / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+d-DNNF
@@ Property / zbMATH Keywords: d-DNNF / rank @@
+Normal rank

Revision as of 10:21, 28 June 2023