Gate sizing using Lagrangian relaxation combined with a fast gradient-based pre-processing step | IEEE Conference Publication | IEEE Xplore