Congestion analysis for global routing via integer programming | IEEE Conference Publication | IEEE Xplore