In school, I remember coming up with a binary decision diagram (BDD) variable-ordering algorithm that relied on partial BDDs. Was that the best algorithm to determine the variable ordering of a BDD ...

For processing the large-scale data that are recently being increased explosively, the importance of not only speeding up of the calculation hardware but also "Algorithm technology ... two techniques; ...