On the complexity of constructing optimal ordered binary decision diagrams (Q5096910): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58338-6_98
+Normal rank
@@ Property / OpenAlex ID @@
+W1553009378
@@ Property / OpenAlex ID: W1553009378 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of free Boolean graphs can be decided probabilistically in polynomial time
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4160379
@@ Property / cites work: Q4160379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281654
@@ Property / cites work: Q4281654 / rank @@
+Normal rank
@@ Property / cites work @@
+Modified branching programs and their computational power
+Normal rank
@@ Property / cites work @@
+Q4005192
@@ Property / cites work: Q4005192 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of OBDDs in linear time
@@ Property / cites work: Reduction of OBDDs in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268445
@@ Property / cites work: Q4268445 / rank @@
+Normal rank