Minimum BDD size of the middle bit Boolean function of multiplication of two n-bit numbers for optimum orderings of variables.
A324585
Minimum BDD size of the middle bit Boolean function of multiplication of two n-bit numbers for optimum orderings of variables.
Terms
- a(0) =4a(1) =8a(2) =14a(3) =31a(4) =63a(5) =136a(6) =315a(7) =756a(8) =1717a(9) =4026a(10) =9654a(11) =21931
External references
- oeis: A324585