Variable Ordering of BDDs using Genetic Algorithm. - Moi Riba; Jatindra Kumar Deka (IICAI, 2005)