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