An efficient algorithm for statistical circuit optimization using lagrangian relaxation | IEEE Conference Publication | IEEE Xplore