Provably good algorithms for performance-driven global routing | IEEE Conference Publication | IEEE Xplore