%0 Journal Article %1 journals/et/RossBM91 %A Ross, Don E. %A Butler, Kenneth M. %A Mercer, M. Ray %D 1991 %J J. Electron. Test. %K dblp %N 3 %P 243-259 %T Exact ordered binary decision diagram size when representing classes of symmetric functions. %U http://dblp.uni-trier.de/db/journals/et/et2.html#RossBM91 %V 2

@article{journals/et/RossBM91, added-at = {2020-09-11T00:00:00.000+0200}, author = {Ross, Don E. and Butler, Kenneth M. and Mercer, M. Ray}, biburl = {https://www.bibsonomy.org/bibtex/29a074a2968a03272f7f3e2d46f5593b7/dblp}, ee = {https://doi.org/10.1007/BF00135441}, interhash = {83385f0f4e6e44a7a07d468c05f4172e}, intrahash = {9a074a2968a03272f7f3e2d46f5593b7}, journal = {J. Electron. Test.}, keywords = {dblp}, number = 3, pages = {243-259}, timestamp = {2020-09-12T11:40:15.000+0200}, title = {Exact ordered binary decision diagram size when representing classes of symmetric functions.}, url = {http://dblp.uni-trier.de/db/journals/et/et2.html#RossBM91}, volume = 2, year = 1991 }