Efficient sum-to-one subsets algorithm for logic optimization | IEEE Conference Publication | IEEE Xplore