Ebendt, R., Gunther, W., & Drechsler, R. (2003). An improved branch and bound algorithm for exact BDD minimization. IEEE transactions on computer-aided design of integrated circuits and systems, 22(12), 1657-1663. https://doi.org/10.1109/TCAD.2003.819427
Chicago Style (17th ed.) CitationEbendt, R., W. Gunther, and R. Drechsler. "An Improved Branch and Bound Algorithm for Exact BDD Minimization." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems 22, no. 12 (2003): 1657-1663. https://doi.org/10.1109/TCAD.2003.819427.
MLA (9th ed.) CitationEbendt, R., et al. "An Improved Branch and Bound Algorithm for Exact BDD Minimization." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, vol. 22, no. 12, 2003, pp. 1657-1663, https://doi.org/10.1109/TCAD.2003.819427.