Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler. An improved branch and bound algorithm for exact BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 22(12):1657-1663, 2003. [doi]
@article{EbendtGD03:0, title = {An improved branch and bound algorithm for exact BDD minimization}, author = {Rüdiger Ebendt and Wolfgang Günther and Rolf Drechsler}, year = {2003}, doi = {10.1109/TCAD.2003.819427}, url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2003.819427}, researchr = {https://researchr.org/publication/EbendtGD03%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {22}, number = {12}, pages = {1657-1663}, }