%0 Journal Article %1 paper:bryant:1986 %A Bryant, Randal E. %C Washington, DC, USA %D 1986 %I IEEE Computer Society %J IEEE Transactions on Computers %K BDD graphs %P 677--691 %T Graph-Based Algorithms for Boolean Function Manipulation %V 35

@article{paper:bryant:1986, added-at = {2011-07-12T12:37:37.000+0200}, address = {Washington, DC, USA}, author = {Bryant, Randal E.}, biburl = {https://www.bibsonomy.org/bibtex/23bf13fdfb395a4ce837196dfd1aab4be/mschuber}, interhash = {fe30eed995024e3b95a658d1d28ed664}, intrahash = {3bf13fdfb395a4ce837196dfd1aab4be}, journal = {IEEE Transactions on Computers}, keywords = {BDD graphs}, month = {August}, pages = {677--691}, publisher = {IEEE Computer Society}, timestamp = {2011-07-12T12:37:37.000+0200}, title = {Graph-Based Algorithms for Boolean Function Manipulation}, volume = 35, year = 1986 }