Segmented channel routing with pin rearrangements via satisfiability.

Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun

Browse the full ISCAS paper archive.