Generalized reasoning scheme for redundancy addition and removal logic optimization | IEEE Conference Publication | IEEE Xplore