{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:37:35Z","timestamp":1773247055538,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T00:00:00Z","timestamp":1554336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,4]]},"DOI":"10.1145\/3299902.3309752","type":"proceedings-article","created":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T19:07:28Z","timestamp":1554923248000},"page":"65-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["ROAD"],"prefix":"10.1145","author":[{"given":"Dongwon","family":"Park","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilgweon","family":"Kang","sequence":"additional","affiliation":[{"name":"Cadence Design Systems, Inc., San Jose, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yeseong","family":"Kim","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sicun","family":"Gao","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bill","family":"Lin","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Kuan","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ITRS Report","year":"2015","unstructured":"2015. ITRS Report 2015 . http:\/\/www.itrs2.net\/itrs-reports.html 2015. ITRS Report 2015. http:\/\/www.itrs2.net\/itrs-reports.html"},{"key":"e_1_3_2_1_2_1","unstructured":"2018.Design Rule Complexity Rising.https:\/\/semiengineering.com\/design-rule-complexity-rising\/.  2018.Design Rule Complexity Rising.https:\/\/semiengineering.com\/design-rule-complexity-rising\/."},{"key":"e_1_3_2_1_3_1","volume-title":"The importance of routing congestion analysis","author":"Alpert Charles J","year":"2010","unstructured":"Charles J Alpert and Gustavo E Tellez . 2010. The importance of routing congestion analysis . DAC Knowledge Center Online Article( 2010 ). Charles J Alpert and Gustavo E Tellez. 2010. The importance of routing congestion analysis. DAC Knowledge Center Online Article(2010)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1117\/1.JMM.13.4.043018"},{"key":"e_1_3_2_1_5_1","volume-title":"Drawing graphs","author":"Bastert Oliver","unstructured":"Oliver Bastert and Christian Matuszewski . 2001. Layered drawings of digraphs . In Drawing graphs . Springer , 87--120. Oliver Bastert and Christian Matuszewski. 2001. Layered drawings of digraphs. In Drawing graphs. Springer, 87--120."},{"key":"e_1_3_2_1_6_1","volume-title":"Minimal Unsatisfiability: Theory, Algorithms and Applications.","author":"Belov Anton","year":"2012","unstructured":"Anton Belov and EPCL Basic Training Camp . 2012 . Minimal Unsatisfiability: Theory, Algorithms and Applications. (2012). Anton Belov and EPCL Basic Training Camp. 2012. Minimal Unsatisfiability: Theory, Algorithms and Applications. (2012)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190094"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.486666"},{"key":"e_1_3_2_1_9_1","volume-title":"Design-Process-Technology Co-optimization for Manufacturability XII","volume":"10588","author":"Chen Jian","year":"2018","unstructured":"Jian Chen , Jun Wang , ChengYu Zhu , Wei Xu , Shuai Li , Eason Lin , Odie Ou , Ya-Chieh Lai , and Shengrui Qu . 2018 . Pin routability and pin access analysis on standard cells for layout optimization . In Design-Process-Technology Co-optimization for Manufacturability XII , Vol. 10588 . International Society for Optics and Photonics, 105880D. Jian Chen, Jun Wang, ChengYu Zhu, Wei Xu, Shuai Li, Eason Lin, Odie Ou, Ya-Chieh Lai, and Shengrui Qu. 2018. Pin routability and pin access analysis on standard cells for layout optimization. In Design-Process-Technology Co-optimization for Manufacturability XII, Vol. 10588. International Society for Optics and Photonics, 105880D."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3036669.3036672"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3036669.3036679"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744839"},{"key":"e_1_3_2_1_13_1","unstructured":"T.C. Hu and M.T. Shing. 2002. Combinatorial Algorithms 2nd Ed. Dover Publications.   T.C. Hu and M.T. Shing. 2002. Combinatorial Algorithms 2nd Ed. Dover Publications."},{"key":"e_1_3_2_1_14_1","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design. IEEE Press, 397--404","author":"Jia Xiaotao","unstructured":"Xiaotao Jia , Yici Cai , Qiang Zhou , Gang Chen , Zhuoyuan Li , and Zuowei Li .2014. MCF Route : a detailed router based on multi-commodity flow method . In IEEE\/ACM International Conference on Computer-Aided Design. IEEE Press, 397--404 . Xiaotao Jia, Yici Cai, Qiang Zhou, Gang Chen, Zhuoyuan Li, and Zuowei Li.2014. MCF Route: a detailed router based on multi-commodity flow method. In IEEE\/ACM International Conference on Computer-Aided Design. IEEE Press, 397--404."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3177540.3177554"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3225209.3225210"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/3086916"},{"key":"e_1_3_2_1_18_1","volume-title":"Design for Manufacturability through Design-Process Integration VI","author":"Lucas Kevin","unstructured":"Kevin Lucas , Chris Cork , Bei Yu , Gerard Luk-Pat , Ben Painter , and David Z Pan . 2012. Implications of triple patterning for 14nm node design and patterning . In Design for Manufacturability through Design-Process Integration VI , Vol. 8327 . International Society for Optics and Photonics , 832703. Kevin Lucas, Chris Cork, Bei Yu, Gerard Luk-Pat, Ben Painter, and David Z Pan. 2012. Implications of triple patterning for 14nm node design and patterning. In Design for Manufacturability through Design-Process Integration VI, Vol. 8327. International Society for Optics and Photonics, 832703."},{"key":"e_1_3_2_1_19_1","volume-title":"Design for Manufacturability through Design-Process Integration VI","author":"Ma Yuangsheng","unstructured":"Yuangsheng Ma , Jason Sweis , Hidekazu Yoshida , Yan Wang , Jongwook Kye , and Harry J Levinson . 2012. Self-aligned double patterning (SADP) compliant design flow . In Design for Manufacturability through Design-Process Integration VI , Vol. 8327 . International Society for Optics and Photonics , 832706. Yuangsheng Ma, Jason Sweis, Hidekazu Yoshida, Yan Wang, Jongwook Kye, and Harry J Levinson. 2012. Self-aligned double patterning (SADP) compliant design flow. In Design for Manufacturability through Design-Process Integration VI, Vol. 8327. International Society for Optics and Photonics, 832706."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1"},{"key":"e_1_3_2_1_21_1","unstructured":"Van-Hau Nguyen. 2014. SAT Encodings of Finite CSPs. (2014).  Van-Hau Nguyen. 2014. SAT Encodings of Finite CSPs. (2014)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228470"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062302"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1326073.1326102"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2842612"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/333032.333040"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACI.2015.7184740"}],"event":{"name":"ISPD '19: International Symposium on Physical Design","location":"San Francisco CA USA","acronym":"ISPD '19","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 2019 International Symposium on Physical Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299902.3309752","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3299902.3309752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:39Z","timestamp":1750204419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299902.3309752"}},"subtitle":["Routability Analysis and Diagnosis Framework Based on SAT Techniques"],"short-title":[],"issued":{"date-parts":[[2019,4,4]]},"references-count":27,"alternative-id":["10.1145\/3299902.3309752","10.1145\/3299902"],"URL":"https:\/\/doi.org\/10.1145\/3299902.3309752","relation":{},"subject":[],"published":{"date-parts":[[2019,4,4]]},"assertion":[{"value":"2019-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}