{"id":"https://openalex.org/W4392680967","doi":"https://doi.org/10.1145/3626184.3633329","title":"Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems","display_name":"Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems","publication_year":2024,"publication_date":"2024-03-12","ids":{"openalex":"https://openalex.org/W4392680967","doi":"https://doi.org/10.1145/3626184.3633329"},"language":"en","primary_location":{"id":"doi:10.1145/3626184.3633329","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3626184.3633329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Physical Design","raw_type":"proceedings-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/A5065770658","display_name":"W. F. Tseng","orcid":"https://orcid.org/0000-0002-2776-0582"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Wei-Hsiang Tseng","raw_affiliation_strings":["Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan Roc"],"raw_orcid":"https://orcid.org/0000-0002-2776-0582","affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering, National Taiwan University, Taipei, Taiwan Roc","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018371636","display_name":"Yao\u2010Wen Chang","orcid":"https://orcid.org/0000-0002-0564-5719"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yao-Wen Chang","raw_affiliation_strings":["Graduate Institute of Electronics Engineering and Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan Roc"],"raw_orcid":"https://orcid.org/0000-0002-0564-5719","affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering and Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan Roc","institution_ids":["https://openalex.org/I16733864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078604015","display_name":"Jie-Hong R. Jiang","orcid":"https://orcid.org/0000-0002-2279-4732"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Jie-Hong Roland Jiang","raw_affiliation_strings":["Graduate Institute of Electronics Engineering and Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan Roc"],"raw_orcid":"https://orcid.org/0000-0002-2279-4732","affiliations":[{"raw_affiliation_string":"Graduate Institute of Electronics Engineering and Department of Electrical Engineering, National Taiwan University, Taipei, Taiwan Roc","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065770658"],"corresponding_institution_ids":["https://openalex.org/I16733864"],"apc_list":null,"apc_paid":null,"fwci":1.3245,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.82376547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"245","last_page":"253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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":1.0,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9994999766349792,"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/T12611","display_name":"Neural Networks and Reservoir Computing","score":0.9934999942779541,"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/qubit","display_name":"Qubit","score":0.7679671049118042},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.7236484885215759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7149640321731567},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5850694179534912},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45383384823799133},{"id":"https://openalex.org/keywords/one-way-quantum-computer","display_name":"One-way quantum computer","score":0.43604809045791626},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43188226222991943},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.42309579253196716},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.35382080078125},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.29582497477531433},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18255242705345154},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.18224620819091797},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17617884278297424}],"concepts":[{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.7679671049118042},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.7236484885215759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7149640321731567},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5850694179534912},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45383384823799133},{"id":"https://openalex.org/C19271316","wikidata":"https://www.wikidata.org/wiki/Q7092353","display_name":"One-way quantum computer","level":5,"score":0.43604809045791626},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43188226222991943},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42309579253196716},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.35382080078125},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.29582497477531433},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18255242705345154},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18224620819091797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17617884278297424},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3626184.3633329","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3626184.3633329","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Physical Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1966533239","https://openalex.org/W2000867743","https://openalex.org/W2020409647","https://openalex.org/W2068938156","https://openalex.org/W2084652510","https://openalex.org/W2137147061","https://openalex.org/W2145804907","https://openalex.org/W2167806590","https://openalex.org/W2256043622","https://openalex.org/W2305083767","https://openalex.org/W2344082860","https://openalex.org/W2744305830","https://openalex.org/W2889938786","https://openalex.org/W2921820880","https://openalex.org/W2928718125","https://openalex.org/W2944950567","https://openalex.org/W2980678955","https://openalex.org/W2995063880","https://openalex.org/W2997740458","https://openalex.org/W3098923204","https://openalex.org/W3100843411","https://openalex.org/W3103438630","https://openalex.org/W3103481969","https://openalex.org/W3104173259","https://openalex.org/W4290802841","https://openalex.org/W4293025572","https://openalex.org/W4312121051","https://openalex.org/W6753291187","https://openalex.org/W6782164646"],"related_works":["https://openalex.org/W4401278057","https://openalex.org/W2134613344","https://openalex.org/W2913668101","https://openalex.org/W1981099706","https://openalex.org/W2038982629","https://openalex.org/W1645513321","https://openalex.org/W3208909691","https://openalex.org/W2999633567","https://openalex.org/W1497021939","https://openalex.org/W4389983928"],"abstract_inverted_index":{"Qubit":[0],"mapping":[1,20,87,150],"is":[2],"crucial":[3],"in":[4,118,164],"optimizing":[5],"the":[6,35,85,89,112,124,132,159,170],"performance":[7],"of":[8,88,161],"quantum":[9,15,51,60,128,153],"algorithms":[10,21],"for":[11,25,49,81,127,135,147],"physical":[12,36],"executions":[13],"on":[14,34,151],"computing":[16,61,154],"architectures.":[17,155],"Many":[18],"qubit":[19,37,86,149],"have":[22,55,64],"been":[23],"proposed":[24],"superconducting":[26],"systems":[27,54,92],"recently.":[28],"However,":[29,84],"due":[30,69],"to":[31,45,70,110,169],"their":[32,71],"limitations":[33],"connectivity,":[38],"costly":[39],"SWAP":[40],"gates":[41],"are":[42],"often":[43],"required":[44],"swap":[46],"logical":[47],"qubits":[48],"proper":[50],"operations.":[52],"Trapped-ion":[53],"emerged":[56],"as":[57],"an":[58],"alternative":[59],"architecture":[62],"and":[63,78,115,166],"gained":[65],"much":[66],"recent":[67],"attention":[68],"relatively":[72,95],"long":[73],"coherence":[74],"time,":[75],"high-fidelity":[76],"gates,":[77],"good":[79],"scalability":[80,165],"multi-qubit":[82],"coupling.":[83],"new":[90,103],"trapped-ion":[91,120,136,152],"remains":[93],"a":[94,102,140],"untouched":[96],"research":[97],"problem.":[98],"This":[99],"paper":[100],"proposes":[101],"coupling":[104,133],"constraint":[105],"graph":[106],"with":[107],"multi-pin":[108],"nets":[109],"model":[111],"unique":[113],"constraints":[114,134],"connectivity":[116],"patterns":[117],"one-dimensional":[119],"systems.":[121],"To":[122],"minimize":[123],"time":[125],"steps":[126],"circuit":[129],"execution":[130],"satisfying":[131],"systems,":[137],"we":[138],"devise":[139],"divide-and-conquer":[141],"solution":[142],"using":[143],"Satisfiability":[144],"Modulo":[145],"Theories":[146],"efficient":[148],"Experimental":[156],"results":[157],"demonstrate":[158],"superiority":[160],"our":[162],"approach":[163],"effectiveness":[167],"compared":[168],"previous":[171],"work.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}