Reducing BDD Size by Exploiting (1993)

by Alan J Hu, David L Dill
Venue:Functional Dependencies,” 30th Design Automation Conference