Lagrangian relaxation-based Discrete Gate Sizing for leakage power minimization | IEEE Conference Publication | IEEE Xplore