Spectral Decision Diagrams