An Efficient Method for Optimal BDD Ordering Computation