Fast and efficient construction of BDDs by reordering based synthesis (1997)

by A Hett, R Drechsler, B Becker
Venue:In IEEE European Design & Test Conference