Fast integer linear programming based models for VLSI global routing. - Laleh Behjat; Andy Chiang (ISCAS (6), 2005)