Decision diagrams for discrete functions: classification and unified interpretation | IEEE Conference Publication | IEEE Xplore