{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:28:55Z","timestamp":1781836135571,"version":"3.54.5"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"The Research Grants Council of Hong Kong, SAR","award":["CUHK14210723"],"award-info":[{"award-number":["CUHK14210723"]}]},{"name":"The Research Grants Council of Hong Kong, SAR","award":["CUHK14211824"],"award-info":[{"award-number":["CUHK14211824"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tcad.2024.3467220","type":"journal-article","created":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T19:24:40Z","timestamp":1727292280000},"page":"1112-1125","source":"Crossref","is-referenced-by-count":1,"title":["Layout Decomposition via Boolean Satisfiability"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7291-3712","authenticated-orcid":false,"given":"Hongduo","family":"Liu","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1220-1363","authenticated-orcid":false,"given":"Peiyu","family":"Liao","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6919-0533","authenticated-orcid":false,"given":"Mengchuan","family":"Zou","sequence":"additional","affiliation":[{"name":"Huawei Noah’s Ark Lab, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4312-5869","authenticated-orcid":false,"given":"Bowen","family":"Pang","sequence":"additional","affiliation":[{"name":"Huawei Noah’s Ark Lab, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9013-1180","authenticated-orcid":false,"given":"Xijun","family":"Li","sequence":"additional","affiliation":[{"name":"Huawei Noah’s Ark Lab, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2236-8784","authenticated-orcid":false,"given":"Mingxuan","family":"Yuan","sequence":"additional","affiliation":[{"name":"Huawei Noah’s Ark Lab, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7348-5625","authenticated-orcid":false,"given":"Tsung-Yi","family":"Ho","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6406-4810","authenticated-orcid":false,"given":"Bei","family":"Yu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.076"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747940"},{"key":"ref3","first-page":"601","article-title":"GREMA: Graph reduction based efficient mask assignment for double patterning technology","volume-title":"Proc. Int. Conf. Comput.-Aided Design","author":"Xu"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2048374"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1514932.1514958"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105298"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2387840"},{"key":"ref8","first-page":"1","article-title":"Layout decomposition for quadruple patterning lithography and beyond","volume-title":"Proc. 51st Annu. Design Autom. Conf.","author":"Yu"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1117\/1.JMM.16.2.023507"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247846"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228579"},{"key":"ref12","first-page":"1","article-title":"An efficient layout decomposition approach for triple patterning lithography","volume-title":"Proc. ACM\/IEEE Design Autom. Conf. (DAC)","author":"Kuang"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2681068"},{"key":"ref14","first-page":"57","article-title":"A polynomial time triple patterning algorithm for cell based row-structure layout","volume-title":"Proc. IEEE\/ACM Int. Conf. Comput.-Aided Design (ICCAD)","author":"Tian"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2717764.2717768"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062250"},{"key":"ref17","volume-title":"OpenMPL","year":"2022"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247883"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref23","first-page":"203","article-title":"Using CSP look-back techniques to solve real-world SAT instances","volume-title":"Proc. 14th Nat. Conf. Artif. Intell. 9th Conf. Innov. Appl. Artif. Intell.","author":"Bayardo"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0305-0548(82)90007-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2003.12.089"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF02191670"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(94)90086-8"},{"key":"ref28","first-page":"8662","article-title":"Towards gradient-based bilevel optimization with non-convex followers and beyond","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"34","author":"Liu"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF02098173"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2006.10.045"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1142\/S0217595904000205"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1061\/(asce)0733-947x(2000)126:2(115)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICAIS.2002.1048121"},{"key":"ref34","article-title":"Efficient evolutionary algorithm for single-objective bilevel optimization","author":"Sinha","year":"2013","journal-title":"arXiv:1303.3901"},{"key":"ref35","article-title":"Solving pseudo-boolean constraints","author":"Grobelna","year":"2017"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_19"},{"key":"ref37","first-page":"1","article-title":"New encoding for translating pseudo-boolean constraints into SAT","volume-title":"Proc. 10th Symp. Abstr., Reformul., Approx.","author":"Aavani"},{"key":"ref38","first-page":"61","article-title":"BDDs for pseudo-Boolean constraints","volume-title":"Proc. Int. Conf. Theory Appl. Satisf. Test.","author":"Ab\u00edo Roig"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190014"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2017.2712906"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3042175"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10896910\/10693504.pdf?arnumber=10693504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:04:44Z","timestamp":1740139484000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10693504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":41,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3467220","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3]]}}}