An Adaptive Metric for Node Substitution-Based BDD Minimization | IEEE Conference Publication | IEEE Xplore