Arithmetic-Walsh Spectral Transform Decision Diagrams | IEEE Conference Publication | IEEE Xplore