Variable Ordering in Binary Decision Diagram Using Spider Monkey Optimization for Node and Path Length Optimization. - Mohammed Balal Siddiqui; Mirza Tariq Beg; Syed Naseem Ahmad (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)