Ordering and reduction of BDDs for multi-input adders using evolutionary algorithm