Exact and heuristic approaches to input vector control for leakage power reduction | IEEE Conference Publication | IEEE Xplore