Size of ordered binary decision diagrams representing threshold functions (Q1390857): Difference between revisions

@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+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 @@
+Finding the optimal variable ordering for binary decision diagrams
+Normal rank
@@ Property / cites work @@
+On the OBDD-representation of general Boolean functions
+Normal rank
@@ Property / cites work @@
+On Complete Sets of Logic Primitives
@@ Property / cites work: On Complete Sets of Logic Primitives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655273
@@ Property / cites work: Q5655273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268445
@@ Property / cites work: Q4268445 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lower Bound of the Number of Threshold Functions
+Normal rank