Lagrangian relaxation-based multi-threaded discrete gate sizer