An improved branch and bound algorithm for exact BDD minimization | IEEE Journals & Magazine | IEEE Xplore