Routability checking for general area routing problems | IEEE Conference Publication | IEEE Xplore