Dongwon Park, Ilgweon Kang, Yeseong Kim, Sicun Gao, Bill Lin, Chung-Kuan Cheng. ROAD: Routability Analysis and Diagnosis Framework Based on SAT Techniques. In Ismail Bustany, William Swartz, editors, Proceedings of the 2019 International Symposium on Physical Design, ISPD 2019, San Francisco, CA, USA, April 14-17, 2019. pages 65-72, ACM, 2019. [doi]
Abstract is missing.