A provably good multilayer topological planar routing algorithm in IC layout designs | IEEE Journals & Magazine | IEEE Xplore