Chaitanya Varma. An Enhanced Algorithm for Variable Reordering in Binary Decision Diagrams. In 9th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2018, Bengaluru, India, July 10-12, 2018. pages 1-4, IEEE, 2018. [doi]