Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
DAC, 1993.
@inproceedings{DAC-1993-ClarkeMZFY,
author = "Edmund M. Clarke and Kenneth L. McMillan and Xudong Zhao and Masahiro Fujita and J. Yang",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164569",
isbn = "0-89791-577-1",
pages = "54--60",
publisher = "{ACM Press}",
title = "{Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping}",
year = 1993,
}