Mohamed Saad, Tamás Terlaky, Anthony Vannelli and Hu Zhang, A Provably Good Global Routing Algorithm in Multilayer IC and MCM Layout Designs