Segmented channel routability via satisfiability

William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola. Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst., 9(4):517-528, 2004. [doi]

Abstract

Abstract is missing.