Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang. Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. In DAC. pages 54-60, 1993. [doi]
@inproceedings{ClarkeMZFY93,
title = {Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping},
author = {Edmund M. Clarke and Kenneth L. McMillan and Xudong Zhao and Masahiro Fujita and J. Yang},
year = {1993},
doi = {10.1145/157485.164569},
url = {http://doi.acm.org/10.1145/157485.164569},
researchr = {https://researchr.org/publication/ClarkeMZFY93},
cites = {0},
citedby = {0},
pages = {54-60},
booktitle = {DAC},
}