GRIP: Scalable 3D global routing using Integer Programming | IEEE Conference Publication | IEEE Xplore