Reducing BDD Size by Exploiting Functional Dependencies (1993)

Cached

Download Links

by Alan J. Hu , David L. Dill
Venue:in Proc. DAC
Citations:36 - 4 self