An algorithm for finding a non-trivial lower bound for channel routing | IEEE Conference Publication | IEEE Xplore