%0 Journal Article %1 journals/tc/Bryant86 %A Bryant, Randal E. %D 1986 %J IEEE Trans. Computers %K dblp %N 8 %P 677-691 %T Graph-Based Algorithms for Boolean Function Manipulation. %U http://dblp.uni-trier.de/db/journals/tc/tc35.html#Bryant86 %V 35

@article{journals/tc/Bryant86, added-at = {2018-11-14T00:00:00.000+0100}, author = {Bryant, Randal E.}, biburl = {https://www.bibsonomy.org/bibtex/2c1cc5f61e4c2d801c6f508a883bb00ca/dblp}, ee = {https://www.wikidata.org/entity/Q56028213}, interhash = {fe30eed995024e3b95a658d1d28ed664}, intrahash = {c1cc5f61e4c2d801c6f508a883bb00ca}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 8, pages = {677-691}, timestamp = {2018-11-15T11:58:43.000+0100}, title = {Graph-Based Algorithms for Boolean Function Manipulation.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc35.html#Bryant86}, volume = 35, year = 1986 }