Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering