{"id":"https://openalex.org/W4409306183","doi":"https://doi.org/10.1145/3676536.3676819","title":"SMT-based Layout Synthesis for Silicon-based Quantum Computing with Crossbar Architecture","display_name":"SMT-based Layout Synthesis for Silicon-based Quantum Computing with Crossbar Architecture","publication_year":2024,"publication_date":"2024-10-27","ids":{"openalex":"https://openalex.org/W4409306183","doi":"https://doi.org/10.1145/3676536.3676819"},"language":"en","primary_location":{"id":"doi:10.1145/3676536.3676819","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676819","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676819","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676819","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sheng-Tan Huang","orcid":"https://orcid.org/0009-0003-9002-681X"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Sheng-Tan Huang","raw_affiliation_strings":["National Taiwan University of Science and Technology, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0009-0003-9002-681X","affiliations":[{"raw_affiliation_string":"National Taiwan University of Science and Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085548637","display_name":"Ying-Jie Jiang","orcid":"https://orcid.org/0000-0002-5052-1993"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Ying-Jie Jiang","raw_affiliation_strings":["National Taiwan University of Science and Technology, Taipei, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-5052-1993","affiliations":[{"raw_affiliation_string":"National Taiwan University of Science and Technology, Taipei, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065439030","display_name":"Shao\u2010Yun Fang","orcid":"https://orcid.org/0000-0001-6675-2676"},"institutions":[{"id":"https://openalex.org/I154864474","display_name":"National Taiwan University of Science and Technology","ror":"https://ror.org/00q09pe49","country_code":"TW","type":"education","lineage":["https://openalex.org/I154864474"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Shao-Yun Fang","raw_affiliation_strings":["National Taiwan University of Science and Technology, Taipei, -- Choose State --, Taiwan"],"raw_orcid":"https://orcid.org/0000-0001-6675-2676","affiliations":[{"raw_affiliation_string":"National Taiwan University of Science and Technology, Taipei, -- Choose State --, Taiwan","institution_ids":["https://openalex.org/I154864474"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039615312","display_name":"Chung\u2010Kuan Cheng","orcid":"https://orcid.org/0000-0002-9865-8390"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chung-Kuan Cheng","raw_affiliation_strings":["University of California, San Diego, San Diego, USA"],"raw_orcid":"https://orcid.org/0000-0002-9865-8390","affiliations":[{"raw_affiliation_string":"University of California, San Diego, San Diego, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6109,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76449841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9980000257492065,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/crossbar-switch","display_name":"Crossbar switch","score":0.8803894519805908},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7029517889022827},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.589339017868042},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5772531032562256},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5497369170188904},{"id":"https://openalex.org/keywords/silicon","display_name":"Silicon","score":0.4602666199207306},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4152725636959076},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4043794870376587},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3540922999382019},{"id":"https://openalex.org/keywords/optoelectronics","display_name":"Optoelectronics","score":0.23985236883163452},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.17915427684783936},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1252240538597107},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.0984327495098114}],"concepts":[{"id":"https://openalex.org/C29984679","wikidata":"https://www.wikidata.org/wiki/Q1929149","display_name":"Crossbar switch","level":2,"score":0.8803894519805908},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7029517889022827},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.589339017868042},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5772531032562256},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5497369170188904},{"id":"https://openalex.org/C544956773","wikidata":"https://www.wikidata.org/wiki/Q670","display_name":"Silicon","level":2,"score":0.4602666199207306},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4152725636959076},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4043794870376587},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3540922999382019},{"id":"https://openalex.org/C49040817","wikidata":"https://www.wikidata.org/wiki/Q193091","display_name":"Optoelectronics","level":1,"score":0.23985236883163452},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.17915427684783936},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1252240538597107},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0984327495098114},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3676536.3676819","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676819","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676819","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3676536.3676819","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3676536.3676819","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3676536.3676819","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G191114702","display_name":null,"funder_award_id":"110-2223-E-011-002-MY3","funder_id":"https://openalex.org/F2461203286","funder_display_name":"National Science and Technology Council"}],"funders":[{"id":"https://openalex.org/F2461203286","display_name":"National Science and Technology Council","ror":"https://ror.org/02kv4zf79"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409306183.pdf","grobid_xml":"https://content.openalex.org/works/W4409306183.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W2024146094","https://openalex.org/W2030867075","https://openalex.org/W2305083767","https://openalex.org/W2472045833","https://openalex.org/W2767416883","https://openalex.org/W2928718125","https://openalex.org/W2987522249","https://openalex.org/W3103481969","https://openalex.org/W3103869168","https://openalex.org/W3158260911","https://openalex.org/W4206313080","https://openalex.org/W4206801895","https://openalex.org/W4312121051","https://openalex.org/W4386830972","https://openalex.org/W4392680881","https://openalex.org/W4392680967","https://openalex.org/W6782164646"],"related_works":["https://openalex.org/W2145932742","https://openalex.org/W1874409533","https://openalex.org/W2554791727","https://openalex.org/W1981395029","https://openalex.org/W2108083791","https://openalex.org/W4250137794","https://openalex.org/W2063341228","https://openalex.org/W2111673944","https://openalex.org/W2571519720","https://openalex.org/W2038503502"],"abstract_inverted_index":{"With":[0],"the":[1,4,21,33,39,45,62,72,82,106,124,129],"announcement":[2],"of":[3,32,61,118],"most":[5,63],"advanced":[6],"silicon":[7],"spin":[8],"quantum-bit":[9],"(qubit)":[10],"chip":[11],"by":[12,50,86],"Intel,":[13],"silicon-based":[14,53,94],"quantum":[15,26,54,95],"circuit":[16,126],"manufacturing":[17,36],"technology":[18],"has":[19],"shown":[20],"superior":[22],"potential":[23],"to":[24,28,44,79],"realize":[25],"computing":[27],"other":[29],"technologies":[30,37],"because":[31],"mature":[34],"semiconductor":[35],"and":[38,91,120,128],"compatibility":[40],"with":[41,97,115],"electronics.":[42],"Due":[43],"bottleneck":[46],"in":[47,52],"scalability":[48],"caused":[49],"interconnections":[51],"circuits,":[55],"crossbar":[56,100],"architectures":[57],"serve":[58],"as":[59],"one":[60],"promising":[64],"solutions":[65,130],"for":[66,93],"circuitry":[67],"implementation.":[68],"This":[69],"paper":[70],"proposes":[71],"first":[73],"satisfiability":[74],"modulo":[75],"theories":[76],"(SMT)":[77],"formulation":[78],"optimally":[80],"solve":[81],"layout":[83,112],"synthesis":[84,113],"problem":[85],"simultaneously":[87],"performing":[88],"scheduling,":[89],"mapping,":[90],"routing":[92],"systems":[96],"a":[98,136],"specific":[99],"architecture.":[101],"The":[102],"experiments":[103],"demonstrate":[104],"that":[105],"proposed":[107],"method":[108],"can":[109],"effectively":[110],"generate":[111],"results":[114],"minimal":[116],"usage":[117],"swap":[119],"shuttle":[121],"gates":[122],"within":[123],"shortest":[125],"depths,":[127],"greatly":[131],"outperform":[132],"those":[133],"derived":[134],"from":[135],"state-of-the-art":[137],"work.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}