%0 Journal Article %1 journals/sigact/Johnson10 %A Johnson, Samuel D. %D 2010 %J SIGACT News %K dblp %N 3 %P 36-38 %T Branching programs and binary decision diagrams: theory and applications by Ingo Wegener society for industrial and applied mathematics, 2000 408 pages. %U http://dblp.uni-trier.de/db/journals/sigact/sigact41.html#Johnson10 %V 41

@article{journals/sigact/Johnson10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Johnson, Samuel D.}, biburl = {https://www.bibsonomy.org/bibtex/2c6c94a83c20aa75bd445604113b7e598/dblp}, ee = {https://doi.org/10.1145/1855118.1855126}, interhash = {d3db9f33e261ce37587f11c3bb377055}, intrahash = {c6c94a83c20aa75bd445604113b7e598}, journal = {SIGACT News}, keywords = {dblp}, number = 3, pages = {36-38}, timestamp = {2018-11-07T12:02:45.000+0100}, title = {Branching programs and binary decision diagrams: theory and applications by Ingo Wegener society for industrial and applied mathematics, 2000 408 pages.}, url = {http://dblp.uni-trier.de/db/journals/sigact/sigact41.html#Johnson10}, volume = 41, year = 2010 }