Linearization of Ternary Decision Diagrams by Using the Polynomial Chrestenson Spectrum | IEEE Conference Publication | IEEE Xplore