Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.

Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang

Browse the full DAC paper archive.