{"id":"https://openalex.org/W4402830614","doi":"https://doi.org/10.1109/tcad.2024.3467220","title":"Layout Decomposition via Boolean Satisfiability","display_name":"Layout Decomposition via Boolean Satisfiability","publication_year":2024,"publication_date":"2024-09-25","ids":{"openalex":"https://openalex.org/W4402830614","doi":"https://doi.org/10.1109/tcad.2024.3467220"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3467220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3467220","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039526257","display_name":"Hongduo Liu","orcid":"https://orcid.org/0000-0001-7291-3712"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Hongduo Liu","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","Chinese University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-7291-3712","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006658802","display_name":"Peiyu Liao","orcid":"https://orcid.org/0000-0003-1220-1363"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Peiyu Liao","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","Chinese University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0003-1220-1363","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004513921","display_name":"Mengchuan Zou","orcid":"https://orcid.org/0000-0001-6919-0533"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengchuan Zou","raw_affiliation_strings":["Huawei Noah’s Ark Lab, Hong Kong, China","Institute of Software, State Key Laboratory of Computer Science, Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0001-6919-0533","affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab, Hong Kong, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Institute of Software, State Key Laboratory of Computer Science, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009469573","display_name":"Bowen Pang","orcid":"https://orcid.org/0000-0003-4312-5869"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bowen Pang","raw_affiliation_strings":["Huawei Noah’s Ark Lab, Hong Kong, China","Huawei Noah’s Ark Lab, China"],"raw_orcid":"https://orcid.org/0000-0003-4312-5869","affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab, Hong Kong, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Huawei Noah’s Ark Lab, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101955772","display_name":"Xijun Li","orcid":"https://orcid.org/0000-0002-9013-1180"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xijun Li","raw_affiliation_strings":["Huawei Noah’s Ark Lab, Hong Kong, China","Huawei Noah’s Ark Lab, China"],"raw_orcid":"https://orcid.org/0000-0002-9013-1180","affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab, Hong Kong, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Huawei Noah’s Ark Lab, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078949174","display_name":"Mingxuan Yuan","orcid":"https://orcid.org/0000-0002-2236-8784"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingxuan Yuan","raw_affiliation_strings":["Huawei Noah’s Ark Lab, Hong Kong, China","Huawei Noah’s Ark Lab, China"],"raw_orcid":"https://orcid.org/0000-0002-2236-8784","affiliations":[{"raw_affiliation_string":"Huawei Noah’s Ark Lab, Hong Kong, China","institution_ids":["https://openalex.org/I2250955327"]},{"raw_affiliation_string":"Huawei Noah’s Ark Lab, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062800747","display_name":"Tsung-Yi Ho","orcid":"https://orcid.org/0000-0001-7348-5625"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Tsung-Yi Ho","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","Chinese University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-7348-5625","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051340429","display_name":"Bei Yu","orcid":"https://orcid.org/0000-0001-6406-4810"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bei Yu","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","Chinese University of Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6406-4810","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Chinese University of Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12921458,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"3","first_page":"1112","last_page":"1125"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.641818642616272},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6030760407447815},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5931580066680908},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5328586101531982},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.41635650396347046},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39987730979919434},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35621023178100586},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.3262808918952942},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29565295577049255},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.15113189816474915}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.641818642616272},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6030760407447815},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5931580066680908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5328586101531982},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.41635650396347046},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39987730979919434},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35621023178100586},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.3262808918952942},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29565295577049255},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.15113189816474915},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3467220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3467220","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1762936176","https://openalex.org/W1969521626","https://openalex.org/W1983202079","https://openalex.org/W1996055445","https://openalex.org/W2001759562","https://openalex.org/W2005629858","https://openalex.org/W2030667419","https://openalex.org/W2036265926","https://openalex.org/W2057361103","https://openalex.org/W2061228544","https://openalex.org/W2062897452","https://openalex.org/W2078101422","https://openalex.org/W2084575232","https://openalex.org/W2116758077","https://openalex.org/W2119826439","https://openalex.org/W2143286762","https://openalex.org/W2152190733","https://openalex.org/W2170631832","https://openalex.org/W2172169799","https://openalex.org/W2175772671","https://openalex.org/W2396750876","https://openalex.org/W2594817995","https://openalex.org/W2614367549","https://openalex.org/W2625283761","https://openalex.org/W2626178240","https://openalex.org/W3108104288","https://openalex.org/W3150945947","https://openalex.org/W4229840182","https://openalex.org/W4239710679","https://openalex.org/W4301887518","https://openalex.org/W4386764301","https://openalex.org/W4386764829"],"related_works":["https://openalex.org/W2394616262","https://openalex.org/W3152212242","https://openalex.org/W2014111643","https://openalex.org/W2102364390","https://openalex.org/W4289743389","https://openalex.org/W1913543287","https://openalex.org/W2336941104","https://openalex.org/W3120153087","https://openalex.org/W2883069340","https://openalex.org/W2996462315"],"abstract_inverted_index":{"Multiple":[0],"patterning":[1],"lithography":[2],"(MPL)":[3],"has":[4],"been":[5],"introduced":[6],"in":[7,160,174],"the":[8,18,76,125,143],"integrated":[9],"circuits":[10],"manufacturing":[11],"industry":[12],"to":[13,31,48,92],"enhance":[14],"feature":[15],"density":[16],"as":[17,145],"technology":[19],"node":[20],"advances.":[21],"A":[22],"crucial":[23],"step":[24],"of":[25,71,78,127,176],"MPL":[26],"is":[27],"assigning":[28],"layout":[29,35,46,109],"features":[30],"different":[32,86],"masks,":[33],"namely":[34],"decomposition.":[36],"Exact":[37],"algorithms":[38,57],"like":[39],"integer":[40],"linear":[41,59],"programming":[42,60],"(ILP)":[43],"can":[44],"solve":[45],"decomposition":[47,110,144],"optimality":[49],"but":[50,135],"lack":[51],"scalability":[52],"for":[53,150],"dense":[54],"patterns.":[55],"Relaxation":[56],"(e.g.,":[58,66],"and":[61,64,89,99,120,154,179],"semi-definite":[62],"programming)":[63],"heuristics":[65,91],"exact":[67],"cover)":[68],"are":[69],"capable":[70],"handling":[72],"large":[73,158],"cases":[74],"at":[75],"cost":[77],"inferior":[79],"solution":[80,97,177],"quality.":[81],"These":[82],"methods":[83,173],"rely":[84],"on":[85],"mathematical":[87],"solvers":[88],"expert-designed":[90],"offer":[93],"a":[94,107,146],"balance":[95],"between":[96],"quality":[98,178],"computational":[100],"efficiency.":[101],"In":[102],"this":[103],"article,":[104],"we":[105],"propose":[106],"unified":[108],"framework":[111],"comprising":[112],"three":[113],"algorithms:":[114],"1)":[115],"satisfiability":[116],"(SAT)-exact;":[117],"2)":[118],"SAT-bilevel;":[119],"3)":[121],"SAT-fast,":[122],"all":[123],"leveraging":[124],"capabilities":[126],"Boolean":[128],"SAT":[129],"solvers.":[130],"The":[131],"SAT-exact":[132],"ensures":[133],"optimality,":[134],"with":[136],"faster":[137],"convergence":[138],"than":[139],"ILP,":[140],"SAT-bilevel":[141],"addresses":[142],"bilevel":[147],"optimization":[148],"problem":[149],"rapid":[151],"near-optimal":[152],"solutions,":[153],"SAT-fast":[155],"handles":[156],"very":[157],"layouts":[159],"an":[161],"incremental":[162],"manner.":[163],"Experimental":[164],"results":[165],"demonstrate":[166],"our":[167],"framework\u2019s":[168],"superiority":[169],"over":[170],"existing":[171],"state-of-the-art":[172],"terms":[175],"runtime.":[180]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}