Optimal algorithms for planar over-the-cell routing in the presence of obstacles | IEEE Conference Publication | IEEE Xplore