%0 Journal Article %1 bryant86 %A Bryant, R.E. %D 1986 %J IEEE Transactions on Computers %K imported %N 8 %P 677--691 %T Graph-Based Algorithms for Boolean Function Manipulation %V C-35

@article{bryant86, added-at = {2013-08-31T20:54:19.000+0200}, author = {Bryant, R.E.}, biburl = {https://www.bibsonomy.org/bibtex/21a145462bc6ece5d909330c2cb198717/freitass}, interhash = {fe30eed995024e3b95a658d1d28ed664}, intrahash = {1a145462bc6ece5d909330c2cb198717}, issn = {0018-9340}, journal = {IEEE Transactions on Computers}, keywords = {imported}, month = {ago.}, number = 8, pages = {677--691}, timestamp = {2013-08-31T20:54:19.000+0200}, title = {Graph-Based Algorithms for Boolean Function Manipulation}, volume = {C-35}, year = 1986 }