Non-uniform clock mesh optimization with linear programming buffer insertion | IEEE Conference Publication | IEEE Xplore