An efficient algorithm for low power pass transistor logic synthesis | IEEE Conference Publication | IEEE Xplore