Nearly-2-SAT Solutions for Segmented-Channel Routing | IEEE Journals & Magazine | IEEE Xplore