An implicit algorithm for support minimization during functional decomposition | IEEE Conference Publication | IEEE Xplore