bryant86

Randal Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.

Keyword

[ Sorting ]

Contact

Randal Bryant

BibTex Reference

@article{bryant86,
   Author = {Bryant, Randal},
   Title = {Graph-Based Algorithms for Boolean Function Manipulation},
   Journal = {IEEE Transactions on Computers},
   Volume = {C-35},
   Number = {8},
   Pages = {677--691},
   Month = {August},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)