SAT-Based On-Track Bus Routing

He-Teng Zhang, Masahiro Fujita, Chung-Kuan Cheng, Jie-Hong R. Jiang. SAT-Based On-Track Bus Routing. IEEE Trans. on CAD of Integrated Circuits and Systems, 40(4):735-747, 2021. [doi]

Abstract

Abstract is missing.