{"id":"https://openalex.org/W4379115997","doi":"https://doi.org/10.23919/date56975.2023.10137140","title":"SAT-Based Quantum Circuit Adaptation","display_name":"SAT-Based Quantum Circuit Adaptation","publication_year":2023,"publication_date":"2023-04-01","ids":{"openalex":"https://openalex.org/W4379115997","doi":"https://doi.org/10.23919/date56975.2023.10137140"},"language":"en","primary_location":{"id":"doi:10.23919/date56975.2023.10137140","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/date56975.2023.10137140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5076108677","display_name":"Sebastian Brandhofer","orcid":"https://orcid.org/0000-0002-6010-5643"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]},{"id":"https://openalex.org/I4210113675","display_name":"Center for Integrated Quantum Science and Technology","ror":"https://ror.org/01z25am55","country_code":"DE","type":"facility","lineage":["https://openalex.org/I100066346","https://openalex.org/I149899117","https://openalex.org/I196349391","https://openalex.org/I4210088365","https://openalex.org/I4210113675"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Sebastian Brandhofer","raw_affiliation_strings":["Institute of Computer Architecture and Computer Engineering and Center for Integrated Quantum Science and Technology, University of Stuttgart,Stuttgart,Germany","Institute of Computer Architecture and Computer Engineering and Center for Integrated Quantum Science and Technology, University of Stuttgart, Stuttgart, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Architecture and Computer Engineering and Center for Integrated Quantum Science and Technology, University of Stuttgart,Stuttgart,Germany","institution_ids":["https://openalex.org/I4210113675","https://openalex.org/I100066346"]},{"raw_affiliation_string":"Institute of Computer Architecture and Computer Engineering and Center for Integrated Quantum Science and Technology, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I4210113675","https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100765041","display_name":"Jinwoong Kim","orcid":"https://orcid.org/0000-0003-3237-9863"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jinwoong Kim","raw_affiliation_strings":["Delft University of Technology,Applied Physics,Delft,The Netherlands","Applied Physics, Delft University of Technology, Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology,Applied Physics,Delft,The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Applied Physics, Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005156188","display_name":"Siyuan Niu","orcid":"https://orcid.org/0000-0003-4683-381X"},"institutions":[{"id":"https://openalex.org/I19894307","display_name":"Universit\u00e9 de Montpellier","ror":"https://ror.org/051escj72","country_code":"FR","type":"education","lineage":["https://openalex.org/I19894307"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4412460525"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Siyuan Niu","raw_affiliation_strings":["University of Montpellier,LIRMM,Montpellier,France","LIRMM, University of Montpellier, Montpellier, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Montpellier,LIRMM,Montpellier,France","institution_ids":["https://openalex.org/I4210101743","https://openalex.org/I19894307"]},{"raw_affiliation_string":"LIRMM, University of Montpellier, Montpellier, France","institution_ids":["https://openalex.org/I4210101743","https://openalex.org/I19894307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082420775","display_name":"Nicholas T. Bronn","orcid":"https://orcid.org/0000-0002-6731-6814"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicholas T. Bronn","raw_affiliation_strings":["IBM TJ Watson Research Center,IBM Quantum,Yorktown Heights,NY,USA","IBM Quantum, IBM TJ Watson Research Center, Yorktown Heights, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM TJ Watson Research Center,IBM Quantum,Yorktown Heights,NY,USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"IBM Quantum, IBM TJ Watson Research Center, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5076108677"],"corresponding_institution_ids":["https://openalex.org/I100066346","https://openalex.org/I4210113675"],"apc_list":null,"apc_paid":null,"fwci":0.3363,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6370153,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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/T10382","display_name":"Quantum and electron transport phenomena","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10558","display_name":"Advancements in Semiconductor Devices and Circuit Design","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.8090465664863586},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.7496634125709534},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.7347393035888672},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.6910473108291626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6030285954475403},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.5923234820365906},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5127397775650024},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.4500678479671478},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.43947386741638184},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.41908717155456543},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3533332049846649},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.33092883229255676},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3241025507450104},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.2796463370323181},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.21879732608795166},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1651058793067932},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07956242561340332}],"concepts":[{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.8090465664863586},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.7496634125709534},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.7347393035888672},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.6910473108291626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6030285954475403},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.5923234820365906},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5127397775650024},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.4500678479671478},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.43947386741638184},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.41908717155456543},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3533332049846649},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.33092883229255676},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3241025507450104},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2796463370323181},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.21879732608795166},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1651058793067932},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07956242561340332},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/date56975.2023.10137140","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/date56975.2023.10137140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:lirmm-04955991v1","is_oa":false,"landing_page_url":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-04955991","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DATE 2023 - 26th Design, Automation and Test in Europe Conference and Exhibition, Apr 2023, Antwerp, Belgium. pp.1-6, ⟨10.23919/DATE56975.2023.10137140⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309895","display_name":"Carl-Zeiss-Stiftung","ror":"https://ror.org/03ng4kg22"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1569528011","https://openalex.org/W1771122893","https://openalex.org/W2068339789","https://openalex.org/W2073034252","https://openalex.org/W2084040475","https://openalex.org/W2092321397","https://openalex.org/W2103282498","https://openalex.org/W2104590612","https://openalex.org/W2133163108","https://openalex.org/W2147195941","https://openalex.org/W2155163387","https://openalex.org/W2745278755","https://openalex.org/W2774683389","https://openalex.org/W2903516100","https://openalex.org/W2999562070","https://openalex.org/W3017136680","https://openalex.org/W3045664039","https://openalex.org/W3129004273","https://openalex.org/W3208514896","https://openalex.org/W4226280139","https://openalex.org/W4308147009"],"related_works":["https://openalex.org/W1641472573","https://openalex.org/W2916307283","https://openalex.org/W4226169699","https://openalex.org/W4300979534","https://openalex.org/W3092615945","https://openalex.org/W4313458338","https://openalex.org/W3022389416","https://openalex.org/W4303422201","https://openalex.org/W4376983350","https://openalex.org/W3156963889"],"abstract_inverted_index":{"As":[0],"the":[1,70,84,89,111,137,185,194,197,212,216,222,234,246],"nascent":[2],"field":[3],"of":[4,11,74,88,140,175,196,205],"quantum":[5,12,32,35,45,55,59,66,71,91,95,113,119,142,147,169,186,208,224,261],"computing":[6],"develops,":[7],"an":[8,167],"increasing":[9],"number":[10],"hardware":[13,36,77,153,182,200,219],"modalities,":[14],"such":[15],"as":[16],"superconducting":[17],"electronic":[18],"circuits,":[19],"semiconducting":[20,198,217],"spins,":[21],"trapped":[22],"ions,":[23],"and":[24,41,86,178,184,210,245],"neutral":[25],"atoms,":[26],"have":[27],"become":[28],"available":[29],"for":[30,107],"performing":[31],"computations.":[33],"These":[34,131],"modalities":[37],"exhibit":[38],"varying":[39],"characteristics":[40],"implement":[42],"different":[43],"universal":[44,65,146],"gate":[46,67,72],"sets":[47,149],"that":[48,165],"may":[49],"e.g.":[50],"contain":[51],"several":[52],"distinct":[53,206],"two-qubit":[54,207],"gates.":[56],"Adapting":[57],"a":[58,75,80,101,118,152,160,173,180,229],"circuit":[60,96,114,170,187,225,262],"from":[61],"a,":[62],"possibly":[63],"hardware-agnostic,":[64],"set":[68,73,174],"to":[69,110,151,188,242,255,259],"target":[76,112,181],"modality":[78,183],"has":[79],"crucial":[81],"impact":[82],"on":[83,215,228],"fidelity":[85,123,236],"duration":[87],"intended":[90],"computation.":[92],"However,":[93],"current":[94],"adaptation":[97,171,226,263],"techniques":[98],"only":[99,106],"apply":[100],"specific":[102],"decomposition":[103],"or":[104,124],"allow":[105],"local":[108],"improvements":[109],"potentially":[115],"resulting":[116],"in":[117],"computation":[120],"with":[121],"less":[122],"more":[125],"qubit":[126,247],"idle":[127,248],"time":[128,249],"than":[129],"necessary.":[130],"issues":[132],"are":[133],"further":[134,192],"aggravated":[135],"by":[136,240,253],"multiple":[138,145],"options":[139],"hardware-native":[141],"gates":[143,148],"rendering":[144],"accessible":[150],"modality.":[154,220],"In":[155],"this":[156],"work,":[157],"we":[158,232],"developed":[159,213,223],"satisfiability":[161],"modulo":[162],"theories":[163],"model":[164,214],"determines":[166],"optimized":[168],"given":[172],"allowed":[176],"substitutions":[177],"decompositions,":[179],"be":[189,238,251],"adapted.":[190],"We":[191],"discuss":[193],"physics":[195],"spins":[199,218],"modality,":[201],"show":[202,233],"possible":[203],"implementations":[204],"gates,":[209],"evaluate":[211],"Using":[221],"method":[227],"noisy":[230],"simulator,":[231],"Hellinger":[235],"could":[237,250],"improved":[239],"up":[241,254],"40":[243],"%":[244,257],"decreased":[252],"87":[256],"compared":[258],"alternative":[260],"techniques.":[264]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}