%0 Journal Article %1 journals/tc/KarpovskySA03 %A Karpovsky, Mark G. %A Stankovic, Radomir S. %A Astola, Jaakko %D 2003 %J IEEE Trans. Computers %K dblp %N 5 %P 592-606 %T Reduction of Sizes of Decision Diagrams by Autocorrelation Functions. %U http://dblp.uni-trier.de/db/journals/tc/tc52.html#KarpovskySA03 %V 52

@article{journals/tc/KarpovskySA03, added-at = {2015-12-22T00:00:00.000+0100}, author = {Karpovsky, Mark G. and Stankovic, Radomir S. and Astola, Jaakko}, biburl = {https://www.bibsonomy.org/bibtex/211b1cab85b22d3c9b47e82b8f17b023a/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2003.1197126}, interhash = {4761bb35bd22f25489593fa0fe13c2fd}, intrahash = {11b1cab85b22d3c9b47e82b8f17b023a}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 5, pages = {592-606}, timestamp = {2015-12-24T12:07:25.000+0100}, title = {Reduction of Sizes of Decision Diagrams by Autocorrelation Functions.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc52.html#KarpovskySA03}, volume = 52, year = 2003 }