On the effect of local changes in the variable ordering of ordered decision diagrams (Q671612): Difference between revisions

@@ Property / author @@
+Martin Loebbing
@@ Property / author: Martin Loebbing / rank @@
+Normal rank
@@ 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.1016/0020-0190(96)00119-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1977533508
@@ Property / OpenAlex ID: W1977533508 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between BDDs and FDDs
@@ Property / cites work: On the relation between BDDs and FDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885895
@@ Property / cites work: Q4885895 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q3785827
@@ Property / cites work: Q3785827 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127293120
@@ Property / Wikidata QID: Q127293120 / rank @@
+Normal rank