Fast integer linear programming based models for VLSI global routing | IEEE Conference Publication | IEEE Xplore