Variable Ordering of BDDs using Genetic Algorithm.

Moi Riba Jatindra Kumar Deka Variable Ordering of BDDs using Genetic Algorithm. 198-208 2005 conf/iicai/2005 IICAI db/conf/iicai/iicai2005.html#RibaD05