Werchner: On the Relation Between BDDs and FDDs (1995)

by B Becker, R Drechsler, R
Venue:Proc. LATIN '95, Lecture Notes in Computer Science 911