Symbolic Manipulation with Ordered Binary-Decision Diagrams

Symbolic Manipulation with Ordered Binary-Decision Diagrams. Bryant, R. E. ACM Computing Surveys, 24(3):293–318, 1992.
bibtex

@article{bryant:bdd92,
	Author = {Randal E. Bryant},
	Journal = {{ACM} Computing Surveys},
	Number = {3},
	Pages = {293--318},
	Title = {Symbolic Manipulation with Ordered Binary-Decision Diagrams},
	Volume = {24},
	Year = {1992}}

Downloads: 0