An Integer-Linear-Programming-Based Routing Algorithm for Flip-Chip Designs | IEEE Journals & Magazine | IEEE Xplore