P.W. C. Prasad and A. Assi and A. Harb and V.C. Prasad, Binary Decision Diagrams: An Improved Variable Ordering using Graph Representation of Boolean Functions. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. February 2008, vol. 14(2). 523 - 529 [viewed 21 September 2024]. Available from: https://publications.waset.org/pdf/6093.