Threshold logic synthesis based on cut pruning | IEEE Conference Publication | IEEE Xplore