Raseen, Mohamed, and E Venitha. “Exact Modeling of Binary Decision Diagram Complexity”. International Journal of Engineering and Technology 7, no. 3.34 (September 1, 2018): 248–250. Accessed February 15, 2026. https://www.sciencepubco.com/index.php/IJET/article/view/18976.