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

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Browse the full ICCD paper archive.