Functional decomposition through structural analysis of decision diagrams-the binary and multiple-valued cases | IEEE Conference Publication | IEEE Xplore