%0 Journal Article %1 journals/fmsd/ClarkeMZFY97 %A Clarke, Edmund M. %A McMillan, Kenneth L. %A Zhao, Xudong %A Fujita, Masahiro %A Yang, Jerry Chih-Yuan %D 1997 %J Formal Methods Syst. Des. %K dblp %N 2/3 %P 137-148 %T Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#ClarkeMZFY97 %V 10

@article{journals/fmsd/ClarkeMZFY97, added-at = {2020-11-17T00:00:00.000+0100}, author = {Clarke, Edmund M. and McMillan, Kenneth L. and Zhao, Xudong and Fujita, Masahiro and Yang, Jerry Chih-Yuan}, biburl = {https://www.bibsonomy.org/bibtex/2ee26021740cdd6e091a404a767cba7ab/dblp}, ee = {https://doi.org/10.1023/A:1008695706493}, interhash = {434e992f4bf663d7b99fe0c4288a3597}, intrahash = {ee26021740cdd6e091a404a767cba7ab}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {2/3}, pages = {137-148}, timestamp = {2020-11-19T11:35:26.000+0100}, title = {Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd10.html#ClarkeMZFY97}, volume = 10, year = 1997 }