Mark G. Karpovsky, Radomir S. Stankovic, Jaakko Astola. Reduction of Sizes of Decision Diagrams by Autocorrelation Functions. IEEE Transactions on Computers, 52(5):592-606, 2003. [doi]
@article{KarpovskySA03,
title = {Reduction of Sizes of Decision Diagrams by Autocorrelation Functions},
author = {Mark G. Karpovsky and Radomir S. Stankovic and Jaakko Astola},
year = {2003},
url = {http://www.computer.org:80/tc/tc2003/t0592abs.htm},
researchr = {https://researchr.org/publication/KarpovskySA03},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {52},
number = {5},
pages = {592-606},
}