%0 Journal Article %1 reason:Bryant86a %A Bryant, R.E. %D 1986 %J IEEE Transactions on Computers %K BDDs ml %N 8 %P 677--691 %T Graph-based Algorithms for Boolean Function Manipulation %V C-35

@article{reason:Bryant86a, added-at = {2016-11-26T13:19:29.000+0100}, author = {Bryant, R.E.}, biburl = {https://www.bibsonomy.org/bibtex/23305a0d4cfa5776fdc4dc5e666c07de4/machinelearning}, interhash = {fe30eed995024e3b95a658d1d28ed664}, intrahash = {3305a0d4cfa5776fdc4dc5e666c07de4}, journal = {IEEE Transactions on Computers}, keywords = {BDDs ml}, number = 8, pages = {677--691}, serial = {Bryant86a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Graph-based Algorithms for {Boolean} Function Manipulation}, volume = {C-35}, year = 1986 }