Mitchell A. Thornton, Rolf Drechsler, Wolfgang Günther. Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs. VLSI Design, 2002(1):53-64, 2002. [doi]
@article{ThorntonDG02,
title = {Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs},
author = {Mitchell A. Thornton and Rolf Drechsler and Wolfgang Günther},
year = {2002},
doi = {10.1080/10655140290009800},
url = {http://dx.doi.org/10.1080/10655140290009800},
researchr = {https://researchr.org/publication/ThorntonDG02},
cites = {0},
citedby = {0},
journal = {VLSI Design},
volume = {2002},
number = {1},
pages = {53-64},
}