Complexity of ternary decision diagrams for representation of discrete functions | IEEE Conference Publication | IEEE Xplore