bryant92

Randal E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.

Keyword

[ Sorting ]

Contact

Randal Bryant

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)