Reducing BDD Size by Exploiting Functional Dependencies

Alan J. Hu, David L. Dill. Reducing BDD Size by Exploiting Functional Dependencies. In DAC. pages 266-271, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.