Abstract: Many logic synthesis methods are based on the optimization of reduced-order binary decision diagrams (BDDs). The complexity of a BDD greatly depends on the chosen order of variables. Most of ...