An effective congestion-based integer programming model for VLSI global routing | IEEE Conference Publication | IEEE Xplore